# Brendan Cody-Kenny: The Next Compiler Is Emerging

Technical Due Diligence for Software M&A https://sub.xiliary.com/p/brendancodykenny

### 2026-10-27 published #ai #compilers #software-engineering #verification
The Next Compiler Is Emerging
- 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.
- https://github.com/facebook/pyrefly
- https://docs.astral.sh/ty/
- https://github.com/verus-lang/verus
- https://github.com/OpenHands/benchmarks

https://sub.xiliary.com/p/brendancodykenny/posts/81/the-next-compiler-is-emerging