#software-engineering

Articles tagged with #software-engineering

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
Atom Is All You Need: Read a Codebase as an Atom Map, Not a Dependency Graph
TL;DR In the AI era, architecture analysis cannot stop at reading code as files, functions, imports, and dependency graphs. We need to observe the smallest units that carry architectural meaning. I ca
May 31, 202619 min read120