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

Type-safe Storage, Verified Preservation, Format Correctness, Proof-carrying Data

My moonshot to preserve endangered species
nature.com·16h
🧊Arctic Storage
Permacomputing
inkdroid.org·2d
🧲Magnetic Philosophy
Google will require developer verification to install Android apps, including sideloading
9to5google.com·8h·
Discuss: Hacker News
📜Proof Carrying Code
Forget spaceships; I just want my music (2023)
jeffgeerling.com·12h·
Discuss: Hacker News
🏴‍☠️Piracy
Why Open Source Misses the Point of Free Software
gnu.org·1h·
Discuss: Hacker News
🔓Free and open source
My Playbook for Claude Code
nocodo.com·1d·
Discuss: Hacker News
⚔️Lean Tactics
Ergonomic errors in Rust: write fast, debug with ease, handle precisely
gmcgoldr.github.io·3d·
Discuss: Hacker News
⚡Dependent Rust
Self-Awareness And A Complex Brain
scientificamerican.com·6h·
Discuss: Hacker News
🧲Magnetic Philosophy
Why Was Apache Kafka Created?
bigdata.2minutestreaming.com·3d·
Discuss: Lobsters, Hacker News
🌊Streaming Systems
Everything I know about good API design
seangoedecke.com·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
⚡gRPC
Radio Apocalypse: America’s Doomsday Rocket Radios
hackaday.com·11h
📼Cassette Technology
Muhammad Azeez - The Agent Builder's Reading List: What Actually Matters
mazeez.dev·14h·
Discuss: Hacker News, r/programming
⚔️Lean Tactics
Some anecdotes from vibe-coding a Sublime Text plugin
willett.io·1d·
Discuss: Hacker News
🔗Concatenative Languages
Which homelab device should I choose?
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
PediatricsMQA: a Multi-modal Pediatrics Question Answering Benchmark
arxiv.org·21h
🚀SIMD Text Processing
Optimizing FizzBuzz in Rust
github.com·2d·
Discuss: Lobsters, Hacker News
🧪Binary Fuzzing
Portable general project
reddit.com·1d·
Discuss: r/homelab
🏠Homelab
Physics-Based Explainable AI for ECG Segmentation: A Lightweight Model
arxiv.org·21h
🧠Machine Learning
Building and Measuring Trust between Large Language Models
arxiv.org·21h
🔲Cellular Automata
Build a baby Claude Code using Python
siddharthbharath.com·11h·
Discuss: Hacker News
⚡Proof Automation
Loading...Loading more...
AboutBlogChangelogRoadmap