#ai

Articles tagged with #ai

The Mathematics of Software Change
Exploring consistency, migration, and reconstruction through Algebraic Architecture Theory.
Sep 24, 202625 min read35
AI Reads Your Codebase. Then It Forgets Everything.
AAT: A Semantic Layer for the AI Era
Sep 7, 202615 min read119
Uncharted Waters: Thirteen Rules for Not Trusting an AI's Proofs
Seven theorems in fifteen days, one refutation, ~104 cycles of Lean — and the ship's log of why nothing sank
Aug 16, 202618 min read128
Atlas Theorem: How Far Can You Zoom Out?
Four refutations, 13,000 lines of Lean, and a proof that resolution doesn't change the diagnosis
Aug 8, 202624 min read72
Taming a 40-Minute Lean CI: Three Rounds, Three Wrong Suspects
Our Lean 4 + mathlib project used to spend 41 minutes in CI on every single PR. Today, the worst case — rebuilding the heaviest files from scratch — takes 12 minutes, and an ordinary PR finishes in a
Aug 2, 202621 min read148
The Rising Sea of Software Engineering — Rebuilding the Discipline on Algebraic Geometry
AI now writes code faster than humans can review it. That is not a prediction; it is the daily experience of most engineering teams. And here is the other daily experience: no matter how much you inve
Jul 7, 202615 min read120