The Mathematics of Software Change
Exploring consistency, migration, and reconstruction through Algebraic Architecture Theory.
Sep 24, 202625 min read35
Command Palette
Search for a command to run...
#software-engineering
Articles tagged with #software-engineering
AI Reads Your Codebase. Then It Forgets Everything.
AAT: A Semantic Layer for the AI Era
Sep 7, 202615 min read119
The Goddess of Plenty Smiles at the Summit
16 Theorems, 2 Refutations, and the Structure of Software Design
Sep 6, 202623 min read37
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
Semantic Geometry of Architecture
The Meaning of Software Forms a Space
Aug 11, 202622 min read111
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