Feeds to Scour
SubscribedAll
My experience with Lean 4 for general programming
quamserena.com·2d·
Discuss: Hacker News
🦀Rust Macros
Preview
Report Post
From Alternation to FPRAS: Toward a Complexity Classification of Approximate Counting
arxiv.org·1d
🎯Performance Proofs
Preview
Report Post
Unswitching loops for fun and profit
xania.org·22h
🚀Compiler Optimizations
Preview
Report Post
Indexed Reverse Polish Notation, an Alternative to AST
burakemir.ch·14h·
Discuss: Hacker News
🔗Concatenative Programming
Preview
Report Post
The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale
terrytao.wordpress.com·3d
🧮Theorem Proving
Preview
Report Post
The Coming Need for Formal Specification
benjamincongdon.me·9h
📋Formal Verification
Preview
Report Post
Gist of Go: Concurrency is out!
antonz.org·1d
⚔️Lean Tactics
Preview
Report Post
grindlemire/graft: A minimal, type-safe Go DI library with no reflection or codegen
reddit.com·1d·
Discuss: r/golang
🦀Rust Borrowing
Preview
Report Post
I Fed 24 Years of My Blog Posts to a Markov Model
susam.net·10h
🦀Rust Macros
Preview
Report Post
The Cost Of a Closure in C
thephd.dev·3d
📏Code Metrics
Preview
Report Post
Gemma 3 AI model in Clojure
dragan.rocks·3d
🌀Brotli Internals
Preview
Report Post
Finding Alignment by Visualizing Music in Rust
positron.solutions·17h·
Discuss: Hacker News
🎧Learned Audio
Preview
Report Post
IDA Pro String Heuristics
gabrielcybersecurity.com·1d
✅Format Verification
Preview
Report Post
External Semantic Memory Architecture for Multi-Agent LLM Systems
dev.to·2d·
Discuss: DEV
⚙️TLA+
Preview
Report Post
A Rust CLI Program, Use It with LLM and Convert It to Web UI
binwang.me·3d
📝Concrete Syntax
Preview
Report Post
Ask your LLM for receipts: What I learned teaching Claude C++ crash triage
addxorrol.blogspot.com·23h·
Discuss: www.blogger.com
🔩Systems Programming
Preview
Report Post
Surviving the RAM Squeeze: Efficiency Tips for JavaScript Developers
blog.codeminer42.com·1d
🧠Memory Allocators
Preview
Report Post
The choice between Rust and C-derived languages is not only about memory safety
bbuyukliev.blogspot.com·13h·
Discuss: Hacker News
🦀Rust Borrowing
Preview
Report Post
A slew of improvements to NUTS
statmodeling.stat.columbia.edu·1d
🧮Kolmogorov Bounds
Preview
Report Post
Closures as Win32 window procedures
nullprogram.com·14h
🚀Compiler Optimizations
Preview
Report Post