Code Review Starts with What Must Stay True
Software development has long assumed that people will read and understand the code. We choose clear names and break up long functions so that the next person can follow our intent. But when AI produc
#math
Posts tagged #math
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
Semantic Geometry of Architecture
The Meaning of Software Forms a Space
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
