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

Memory Safety Proofs, Linear Types, Borrow Checker, Systems Verification

/visual: A web component gallery
me.micahrl.com·1d
🧩WASM Components
Beast X for Bayesian phylogenetic, phylogeographic and phylodynamic inference
nature.com·2h·
Discuss: Hacker News
🧬Bitstream Evolution
My Budget DIY Mini Lab
reddit.com·2h·
Discuss: r/homelab
🏠Homelab
Show HN: I made an extension for VSCode that integrates opencode
marketplace.visualstudio.com·1d·
Discuss: Hacker News
🪟Awesome windows command-line
The Big OOPs: Anatomy of a Thirty-Five Year Mistake
computerenhance.com·3d·
Discuss: Hacker News, Hacker News
🏗️Compiler Archaeology
The .a File Is a Relic: Why Static Archives Were a Bad Idea All Along
medium.com·1d·
Discuss: Hacker News, r/C_Programming
🔗Static Linking
Manus AI agent context engineering – practical implementation guide
aicodingtools.blog·1d·
Discuss: Hacker News
⚡Incremental Computation
Introducing the Herb Linter, Formatter, and a Vision for the Future of Rails Views
marcoroth.dev·3d·
Discuss: Lobsters, r/programming
🌀Brotli Internals
Show HN: Agency Protocol – Domain-Specific Trust Through Verifiable Promises
promise-keeping.com·11h·
Discuss: Hacker News
🏛️Byzantine Archives
My favorite use-case for AI is writing logs
newsletter.vickiboykis.com·3d·
Discuss: Lobsters, Hacker News
🌳Incremental Parsing
Linux 6.16-rc7 Bringing Fix For Possible Bogus/Miscalculated Load Averages
phoronix.com·4h
🔍eBPF
Rethinking MCP or Tool Calling Through Permission Based System
shivasurya.me·10h·
Discuss: Hacker News
🔒WASM Capabilities
The Imitation Game: Turing Machine Imitator is Length Generalizable Reasoner
arxiv.org·2d
🧮Kolmogorov Complexity
Using LLVM To Supercharge AI Model Execution On Edge Devices
hackernoon.com·3d
🏭Compiler Backends
Optimising DeepSeek-R1-Distill-Qwen-7B for use in production
fin.ai·2d·
Discuss: Hacker News
📊Quantization
C++ Trailing Return Types (2022)
danielsieger.com·3d·
Discuss: Lobsters, Hacker News, r/cpp, r/programming
🔗Concatenative Programming
Why Every Go Library Should Implement Must* Methods
blog.cansu.dev·2d·
Discuss: Hacker News
💧Liquid Types
Recursive Functions To Piss Off Your CS Professor
inventwithpython.com·2d·
Discuss: Hacker News, r/programming
🔗Lisp
How the Free Software Foundation Battles the LLM Bots
thenewstack.io·11h·
Discuss: Hacker News
🚀Indie Hacking
GPT-4.1 Beast Prompt
github.com·2d·
Discuss: Hacker News
⚡Proof Automation
Loading...Loading more...
AboutBlogChangelogRoadmap