Zero Context Exhaustion: Building Production-Ready AI Coding Teams with Claude Code Sub-agents
dev.to·5h·
Discuss: DEV
✨Effect Handlers
Hacker and Physicist – A Tale of "Common Sense"
supasaf.com·14h·
Discuss: Hacker News
🔐Cryptographic Archaeology
Saleae Analyzer for the BDM protocol
zetier.com·2d
🔬Binary Analysis
AI Code Generation: Trust and Verify, Always
thenewstack.io·16h
📏Code Metrics
Derek Elkins: Arithmetic Functions
hedonisticlearning.com·6h
⚔️Lean Theorem
Lobsters Interview with Matklad
lobste.rs·16h·
Discuss: Lobsters
🦀Rust Macros
Building Castles in the Air, but With Surprise Physics
dbreunig.com·1d
🔲Cellular Automata
Speeding Up AI Coding Assistants Using Deterministic Feedback
proxymock.io·13h·
Discuss: Hacker News
📼Tape Combinators
Optimizing multiprecision LLL in FLINT
fredrikj.net·2d
🧮Algebraic Datatypes
Learning Decision Process Theory with a Wolfram Language Toolkit
blog.wolfram.com·10h
🔲Cellular Automata
LLMs Won't Replace Programming Languages
mech-lang.org·23h·
Discuss: Hacker News
🗣️Domain-Specific Languages
Cryptography for the Everyday Developer: Understanding AES - The Advanced Encryption Standard
sookocheff.com·15h
🔐Cryptographic Archaeology
Ordering
theprogrammersparadox.blogspot.com·13h·
Discuss: theprogrammersparadox.blogspot.com
🔗Topological Sorting
R-ConstraintBench: Evaluating LLMs on NP-Complete Scheduling
arxiv.org·1d
🧮SMT Solvers
Cracking the Density Code: Why MAF Flows Where KDE Stalls
towardsdatascience.com·13h
🔗Tailscale
Essential Reading for Agentic Engineers - August 2025
steipete.me·1d·
Discuss: Hacker News
✨Effect Handlers
Dangerous things should be difficult to do by accident
fexpr.blogspot.com·1d
✨Effect Handlers
How HackerOne Uses AI to Triage, Prioritize, and Validate Code Scanner Findings at Scale
hackerone.com·1d
⚡Proof Automation
Semcheck: Spec-Driven Development Using LLMs
labs.rejot.dev·14h·
Discuss: Hacker News
⚡Proof Automation
Are we solving digital identity or revealing we've lost what we're proving?
syntheticauth.ai·9h·
Discuss: Hacker News
🔐PKI Archaeology