#software-architecture

Articles tagged with #software-architecture

Semantic Geometry of Architecture
The Meaning of Software Forms a Space
Aug 11, 202622 min read39
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 read50
The SAGA Comparison Theorem Preprint Is Out: Two Rulers, One Reading
TL;DR We have published a paper on Zenodo (DOI: 10.5281/zenodo.21603761, CC BY 4.0) that formalizes the "locally correct, globally broken" phenomenon of software architecture as mathematics, proves i
Jul 27, 202612 min read15
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