Projects

• Matmul Proof Explorer

  A tool I had Claude build that explains how we used techniques from zero knowledge proofs to prove a matrix multiply efficiently, as part of my work on proving an LLM inference end-to-end at the Field Extension Institute. (Entirely authored by Claude Code with a lot of editorial feedback from me.)

• Rhythm Machine

  A tool for helping me practice tricky rhythms like a triplet followed by a quintuplet. It's entirely built by Claude Code.