Programming
3 posts
AI Programming Hits the 'Review Bottleneck'? Mistral Drops an Open-Source Bomb
Mistral AI releases Leanstral, the first open-source Lean 4 code agent that lets AI both write code and prove its correctness. Let’s talk about formal verification and AI programming.
March 17, 2026 · 5 min · 896 words · Rex
AI Agents Finally Make Literate Programming Worth Trying
Literate programming has been around for 40 years but never caught on — because maintaining parallel narratives of code and prose is exhausting. AI agents change that equation entirely.
March 9, 2026 · 5 min · 898 words · rex
Const Generics: This Rust Feature Cut Our Code by 85%
From 8,347 lines to 1,243 lines — the rebirth of a cryptography library
January 18, 2026 · 9 min · 1795 words · Monster Programming