{"url": "https://sub.xiliary.com/p/brendancodykenny/posts/81/the-next-compiler-is-emerging", "author": {"handle": "brendancodykenny", "name": "Brendan Cody-Kenny", "headline": "Technical Due Diligence for Software M&A", "url": "https://sub.xiliary.com/p/brendancodykenny", "photo": "https://sub.xiliary.com/p/brendancodykenny/photo?v=1790520774"}, "post": {"id": 81, "url": "https://sub.xiliary.com/p/brendancodykenny/posts/81/the-next-compiler-is-emerging", "kind": "published", "summary": "The Next Compiler Is Emerging", "verbatim": null, "details": ["Compilers made programming more reliable by mechanically enforcing rules. AI now produces code faster than we can reliably inspect it.", "We're not rewriting compilers. We're building a new abstraction on top, combining AI, harnesses, type systems, static analysis, contracts, tests, formal verification and CI/CD.", "Observability first: expose machine-readable structure, dependencies, behaviour and constraints. Trace the consequences of a proposed change.", "Strictness is tunable: turn it up in Python with typing, contracts and tests. Rust starts stricter and can add formal verification.", "AI proposes changes; deterministic tools inspect, constrain and verify them. The aim: make AI-driven software change as reliable as compiler-checked programming became decades ago."], "links": ["https://github.com/facebook/pyrefly", "https://docs.astral.sh/ty/", "https://github.com/verus-lang/verus", "https://github.com/OpenHands/benchmarks"], "tags": ["ai", "compilers", "software-engineering", "verification"], "happened_on": null, "created": "2026-10-27T11:10:41.735926Z", "edited": "2026-10-27T11:25:04.150798Z", "source": null}}