Back to News
Models
Anatomy of a Lean proof for software engineers
Agostbiro.net·October 1, 2026·1 min read
AI Summary
Intro I recently worked through a problem from a theory of computation textbook that asked me to prove a property of a language using finite automata.
From the source
Intro I recently worked through a problem from a theory of computation textbook that asked me to prove a property of a language using finite automata. The informal proof is a simple constructive proof where you build an automaton and show that it recognizes t…
The full text couldn't be loaded here (the source may require a subscription).
View original at Agostbiro.netKeep reading
From Software Supply Chains to AI Vulnerabilities: Why Neither Solves Enterprise Linux SecurityDevOps.com · 1d agoCars24 Turns Test Drive Chatter Into a 35% Sales Liftpymnts.com · 1d agoNew tool lets users repair AI-generated 3D models, then fabricate them just the way they wantMit.edu · 1d agoApple smart home hub finally has a date, and I want logs before I want a screenGadget Flow · 1d ago
Was this useful?