Semantic Geometry of Architecture
The Meaning of Software Forms a Space
Aug 11, 202622 min read96
Command Palette
Search for a command to run...
#geometry
Articles tagged with #geometry
SAGA's Cape of Good Hope: The One Cent That Cohomology Caught
TL;DR This is the sequel to the SAGA theorem article. Last time, I gave the "locally correct, globally broken" phenomenon a theorem, proved in Lean 4. This time I took that theorem out into the real
Jul 18, 202616 min read29
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 read113
The SAGA Theorem: The Day Software Architecture Became Genuine Algebraic Geometry
TL;DR Every module passes review, yet the system as a whole is broken. This "locally correct, globally inconsistent" phenomenon has a name in mathematics: cohomology, specifically H^1. AAT (Algebrai
Jul 2, 202619 min read283