AI wrote my compiler. A mathematical proof checks its work on every build. July 25, 2026 · Dev.to Read full story at source