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

Discover the World’s Oldest Surviving Cookbook, De Re Coquinaria, from Ancient Rome
openculture.com·12h
📚Documentation Archaeology
Math Game Monday: Nim & Tsyanshidzi
denisegaskins.com·8h
🔲Cellular Automata
Bolivia set to elect first non-left wing president in two decades
bbc.com·18h
📝ABNF Parsing
Does 3I/Atlas Generate Its Own Light? (Avi Loeb)
avi-loeb.medium.com·8h·
Discuss: Hacker News
🌈Holographic Archives
Does OLAP need an ORM?
clickhouse.com·3d·
Discuss: Hacker News, r/javascript, r/typescript
🗄️Database Internals
Hubble Reveals a Rare Interstellar Comet Racing at 130,000 MPH Through Our Solar System
scitechdaily.com·6h
🔬Projection Optics
Study Warns: Your Dogs’ Drinking Water Could Be Laced With Dangerous Metals
scitechdaily.com·1d
🔗Data Provenance
How Matrox Mura DVW powers seamless, scalable video walls for real-time workflows
madcornishprojectionist.co.uk·12h
🎞️MKV Internals
SNI5GECT: Sniffing and Injecting 5G Traffic Without Rogue Base Stations, (Thu, Aug 14th)
isc.sans.edu·3d
📼Cassette Hacking
A smart accelerator for qubits: Spin-orbit approach boosts both speed and stability
phys.org·6h
⚛️Quantum Tape
MCP Horror Stories: The GitHub Prompt Injection Data Heist
docker.com·4d
🌳Archive Merkle Trees
How Streamlit is Helpful in Rapid Prototyping and Checking the Model's Response
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Why I Disabled GitHub Copilot Inline Suggestions on VS Code
dev.to·14h·
Discuss: DEV
🪟Awesome windows command-line
Enhanced Carbon Nanotube Field-Effect Transistors via Dynamic Self-Assembled Graphene Contacts
dev.to·1d·
Discuss: DEV
🔧Hardware Verification
ParallelSearch: Train your LLMs to Decompose Query and Search Sub-queries in Parallel with Reinforcement Learning
arxiv.org·4d
🔍Information Retrieval
Learning to Defer in Congested Systems: The AI-Human Interplay
arxiv.org·4d
🧠Machine Learning
Generation and Evaluation in the Human Invention Process through the Lens of Game Design
arxiv.org·17h
🔲Cellular Automata
How to Tame Your AI Agents: From $900 in 18 Days to Coding Smarter
dev.to·5d·
Discuss: DEV
📏Code Metrics
Scalable Failure Mode Prediction via Multi-Modal Data Fusion and Deep Temporal Analysis in Aging Infrastructure
dev.to·5d·
Discuss: DEV
⚙️Proof Engineering
Running Faucets Detection and Alert Systems
hackster.io·3d
🎙️Whisper
Loading...Loading more...
AboutBlogChangelogRoadmap