To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·2d·
Discuss: Hacker News, r/programming
🛡️Preservation Proofs
2025-07-16: Understanding Hallucination in Large Language Models: Challenges and Opportunities
ws-dl.blogspot.com·3h·
Discuss: ws-dl.blogspot.com
✨Effect Handlers
Parsing Protobuf Like Never Before
mcyoung.xyz·21h
🔧Binary Parsers
Functional Abstract Interpretation
simon.peytonjones.org·2d·
Discuss: Hacker News
🔗Functional Compilers
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·3d
🧠Computational Logic
A distributed systems reliability glossary
antithesis.com·1d·
Discuss: Lobsters, Hacker News, r/programming
✅Archive Fixity
Kiro and the future of AI spec-driven software development
kiro.dev·13h·
Discuss: Lobsters, Hacker News
🔌Interface Evolution
How a 12% Tax Rule Becomes Code: Grammar, Law, and Machine Execution
dev.to·15h·
Discuss: DEV
📝Concrete Syntax
Python `apply()` vs. `apply_async()`: Which Should You Use?
thenewstack.io·11h
🌊Stream Processing
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·2d·
Discuss: Hacker News
🔍Type Inference
2011 N1 = 2024 A2
blog.evanchen.cc·10h
🔬Lean
Cheating? Or the acumen of modern programming? FOSS, "AI", and human conscience
gist.github.com·1h·
Discuss: Hacker News
🔗Concatenative Programming
Cactus Language • Stylistics 4
inquiryintoinquiry.com·1d
🌳Context free grammars
Reactive Java Operator-fusion (2016)
akarnokd.blogspot.com·8h·
Discuss: Hacker News
✨Algebraic Effects
Inheritance over composition, sometimes
death.andgravity.com·1d
🦀Rust Macros
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·1d·
Discuss: Hacker News
🎯Interactive Provers
Performance Hacks for Brady’s Algorithm
nickdrozd.github.io·2d
🎞️Tape Combinatorics
A Wide Reduction Trick (2022)
words.filippo.io·1h·
Discuss: Lobsters, Hacker News
🌳Archive Merkle Trees
A Rust shaped hole
ente.io·3d
🦀Rust Macros
My favorite use-case for AI is writing logs
vickiboykis.com·1d
🌳Incremental Parsing