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.
Posts
- The fastest yes in the west
- A source audit of the Bitcoin Piñata
- A shell parser for Claude Code permissions
- The DeFi_share.zip git-hook malware trap
- Mature C test suites, with UBSan enabled
- A Bluetooth Geiger counter for a lost iPad
- A 310-title optimum for Sling Blade Runner
- Exact running quantiles in linear expected time under random order
- The shy heap: offline priority queues in linear time
- Two bcachefs bugs beyond the borrow checker
- The bcachefs stall behind a frozen `ls`
- A solution in search of a problem
- A character 5-gram breaks the two-time pad
- A proof that 0 = 1, in a real zk-VM
- Parallel shrinkers under OxCaml's mode checker
- Choice tapes for generator-guided shrinking