🐿️ 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

80% of Norwegian Public Sector to Use Chainsaws by End of Year, Government Says
eaj.no·23h·
Discuss: Hacker News
🇳🇴Norwegian Computing
Norway spy chief blames Russian hackers for hijacking dam
techcrunch.com·15h
🔓Hacking
'Urgent' bans on abusive childcare workers to take up to 12 months, says attorney-general
abc.net.au·9h
📝ABNF Parsing
Mpox Crisis Deepens: Scientist Warns “We Need To Get Things Under Control”
scitechdaily.com·1d
📡RSS
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·21h·
Discuss: Hacker News
🤖Advanced OCR
AI Is Forgetting Everything – and It's Killing You
amirkabbara.substack.com·11h·
Discuss: Substack
🌍Cultural Algorithms
Framer launches a tool to make sites instantly editable by anyone
techradar.com·1h
🚀Indie Hacking
Show HN: Actionable AI for Founders: Turning Ideas into Shippable Plans
intutivai.com·1d·
Discuss: Hacker News
🌀Brotli Internals
“Bullshit Index” Tracks AI Misinformation
spectrum.ieee.org·2d·
Discuss: Hacker News, r/technews
🧠Intelligence Compression
Beyond JSX: Rethinking the Component Model in Frontend
thenewstack.io·3d·
Discuss: Hacker News
🧩WASM Components
Are Electrodermal Activity-Based Indicators of Driver Cognitive Distraction Robust to Varying Traffic Conditions and Adaptive Cruise Control Use?
arxiv.org·5h
✋Tactile Computing
Generating Structured Outputs from LLMs
towardsdatascience.com·6d
📐Format Grammars
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
The hidden cost of evaluation loops
dev.to·2d·
Discuss: DEV
📏Code Metrics
From private to public: How a United Nations organization open sourced its tech
github.blog·1d·
Discuss: Hacker News
🔓Open Source Software
Automated Semantic Graph Validation via Differentiated Hyper-Score Assessment
dev.to·3d·
Discuss: DEV
🔗Constraint Handling
Hybrid Node-Destroyer Model with Large Neighborhood Search for Solving the Capacitated Vehicle Routing Problem
arxiv.org·2d
🧠Learned Indexes
**Hyper-Specific Interleukin Sub-Field Selection & Paper Generation**
dev.to·8h·
Discuss: DEV
📊Feed Optimization
Loading...Loading more...
AboutBlogChangelogRoadmap