🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🧠 Separation Logic

Memory Safety, Heap Analysis, Formal Verification, Pointer Reasoning

A pretty decent retry, and not a library
notes.billmill.org·1d
🌳Incremental Parsing
Cryptography for the Everyday Developer: Understanding DES - The Data Encryption Standard
sookocheff.com·2d
🔐Cryptographic Archaeology
🚨 New deep-dive from Policy as Code: “Critical Container Registry Security Flaw: How Multi-Architecture Manifests Create Attack Vectors.”
policyascode.dev·13h
📦Container Security
Image Search: An internet-powered image search and conversion for C64 OS
c64os.com·3h·
Discuss: Hacker News
🖥️Vintage Macintosh
Why We Develop EloqDB Mainly in C++
eloqdata.com·3d·
Discuss: Hacker News
🦀Rust Borrowing
Manus AI agent context engineering – practical implementation guide
aicodingtools.blog·1d·
Discuss: Hacker News
⚡Incremental Computation
Rust Web Frameworks Compared: Actix vs Axum vs Rocket
dev.to·6h·
Discuss: DEV
🦀Rust Borrowing
Async I/O on Linux and durability
blog.canoozie.net·1d·
Discuss: Lobsters, Hacker News
📝Database WAL
Rust: Clippy performance status update
blog.goose.love·1d·
Discuss: Lobsters
🔩Systems Programming
How Go 1.24 Swiss Tables saved us hundreds of gigabytes
datadoghq.com·3d·
Discuss: Lobsters, Hacker News, r/programming
🧠Memory Allocators
Logical implication is a comparison operator
btdmaster.bearblog.dev·3d·
Discuss: Hacker News
🔲Proof Irrelevance
Python Fundamentals: class methods
dev.to·8h·
Discuss: DEV
🔬Refinement Types
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
sync.Once — Go's simple pattern for safe one-time execution.
dev.to·3d·
Discuss: DEV
🔄Lens Laws
Code Smells in Clojure
github.com·2d·
Discuss: Hacker News
🦀Rust Borrowing
Tao: The Power of the Graph (2013)
engineering.fb.com·2d·
Discuss: Hacker News
🌳B-tree Optimization
Optimising DeepSeek-R1-Distill-Qwen-7B for use in production
fin.ai·2d·
Discuss: Hacker News
📊Quantization
Anthony Scopatz on xonsh and shells in general (2015)
johndcook.com·1d·
Discuss: Hacker News
🐚Shell Calculus
Almost Always Auto (2013)
herbsutter.com·3d·
Discuss: Hacker News
🔒Type Safety
The Power and Potential of Zero-Knowledge Proofs
cacm.acm.org·3d·
Discuss: Hacker News
🔐Quantum Security
Loading...Loading more...
AboutBlogChangelogRoadmap