🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
⚡ Dependent Rust

Verification, Type-level Programming, Safety Proofs, Linear Types

'Urgent' bans on abusive childcare workers to take up to 12 months, says attorney-general
abc.net.au·4h
📝ABNF Parsing
80% of Norwegian Public Sector to Use Chainsaws by End of Year, Government Says
eaj.no·18h·
Discuss: Hacker News
🇳🇴Norwegian Computing
Valuable News – 2025/08/11
vermaden.wordpress.com·3d
🔌Operating system internals
Boy, 12, with rare genetic skin disorder can now play football after breakthrough medical trial
the-independent.com·4h
🔓Open Source Software
Cursor to change Teams pricing, after Sep 15
cursor.com·1d·
Discuss: Hacker News
🎙️Whisper
NSF and NVIDIA award Ai2 a combined $152M to support building a national level fully open AI ecosystem
allenai.org·16h·
Discuss: Hacker News
🤖Advanced OCR
Hackers could take over millions of Dahua CCTV cameras because of two critical flaws - here's how to stay safe
techradar.com·8h
🔓Hacking
“Bullshit Index” Tracks AI Misinformation
spectrum.ieee.org·2d·
Discuss: Hacker News, r/technews
🧠Intelligence Compression
Wire Repo Archived without Notice
github.com·3d·
Discuss: r/golang
🤖Network Automation
Why financial services choose single-tenant SaaS
about.gitlab.com·1d
🖥️Self-hosted Infrastructure
libarchive: Security vulnerability turns out to be critical
heise.de·3d
💣ZIP Vulnerabilities
Are Electrodermal Activity-Based Indicators of Driver Cognitive Distraction Robust to Varying Traffic Conditions and Adaptive Cruise Control Use?
arxiv.org·27m
✋Tactile Computing
Generating Structured Outputs from LLMs
towardsdatascience.com·6d
📐Format Grammars
Catch and Fix Memory Leaks in Go Like a Pro
dev.to·4d·
Discuss: DEV
🦀Rusty Databases
Targeted Gut T-Cell Modulation via CRISPR-Cas13d for Celiac Disease Immunotherapy
dev.to·1d·
Discuss: DEV
🧬Copy Number Variants
Pushdown Reward Machines for Reinforcement Learning
arxiv.org·3d
🔲Cellular Automata
Stack Overflow is trying to honeypot their data dump
meta.stackexchange.com·2d·
Discuss: Hacker News
📰RSS Archaeology
From private to public: How a United Nations organization open sourced its tech
github.blog·1d·
Discuss: Hacker News
🔓Open Source Software
Optimizing Biofuel Production via AI-Driven Algae Strain Selection and Predictive Cultivation Modeling
dev.to·1d·
Discuss: DEV
☕Precision Brewing
Revolutionary AI Lead Climbing: AI Creates Better AI Through Redis Homoiconic Programming
dev.to·3d·
Discuss: DEV
🌍Cultural Algorithms
Loading...Loading more...
AboutBlogChangelogRoadmap