Side projects
& notes.

Bauspiel—

Shared live with everyone here. Tap a shape, then drag it. Tap again to turn it.

Try writing a few proofs in Lean. Start with 2 + 2 = 4 and work up to induction.

Train a small model inspired by DeepSeek V4.1 on Rust code, questions, and scored answers. Inspect live predictions and training results.

Make a Wes Anderson scene: one flat drawing, a camera that may only slide, cut, or zoom, and a screenplay that runs it.

Browse client projects on a draggable canvas.

Route the world’s AI demand by hand, then watch a linear program beat you and put a price on every constraint.