I write about OCaml, Rust, and property-based testing. Recent work: tapecheck, a Conjecture-style choice-tape shrink engine for base_quickcheck, and the same idea for Rust’s proptest. I’m also writing down the design ideas from Mozak’s zkVM — where I was CTO — that we never published.