Building dev tools and systems experiments. Currently working on Paper (deterministic runtime receipts for coding agents).
https://github.com/varman96/paper