Notes from building Ori
Compiler progress, design decisions, and the occasional war story. Written by the person fixing the bugs.
The Double-Free That Rebuilt AIMS
Status report: Ori's compile-time memory system has been rebuilt on burden tracking. Emit every ownership obligation explicitly, then delete only what a machine-checked calculus proves redundant. The new path is the default emitter, the proof corpus holds 382 Lean-verified theorems, and the legacy predicate machinery is scheduled for deletion.
Ori's memory system is in the final stretch of a ground-up rebuild. As of this week, the new architecture is the compiler's default emitter. It is called burden tracking: every ownership obligation in a program is emitted as an explicit instruction, generated from per-type data, and…
Read the post2026
Three Weeks of Compiler Plumbing
AIMS went from a design to a working pipeline. Also: a new crate for representation optimization, and the kind of debugging that makes a compiler real.
Everything Was Fine Until We Added Landing Pads
How adding exception handling broke macOS and Windows in completely different ways, and why we had to upgrade LLVM by four major versions.
Building a Programming Language From Scratch
Where Ori is, why it exists, and what building a language alone actually looks like.