§ Topic
rust
3 posts tagged rust.
July 31, 2026 · 6 min read
Where the ghost code goes
Verus erases proofs before compilation, which sounds like a metaphor until you go read the macro that does it. What I learned about ghost types from fixing a turbofish that fell off during expansion.
July 20, 2026 · 4 min read
Proving a permutation is a bijection
A statistics library is a bad fit for testing alone. The interesting failures are index arithmetic and structural invariants nobody writes a test for — so I model-check them instead.
July 6, 2026 · 4 min read
An ontology as a type system
The type layer of a Rust statistics library, generated from a TypeDB ontology. Not codegen for its own sake — a place to put domain knowledge where the compiler can enforce it.