01 / The laboratory
Questions made tangible.
The most interesting part of building is finding out where your assumptions stop working. These are a few places I’ve been looking.
Featured / 01
The Organism
What happens when agents get room to explore — and the things that matter are checked by Lean?
Inside the experiment
Ideas become experiments.
Evidence becomes knowledge.
Evidence becomes knowledge.
02 / Formal methods
CRRG
Can a research process remember what it has actually proved?
propose→verify→commitEvery transition needs a witness.
03 / An ongoing series
Prover optimization
A research trail through faster provers. Plonky3, LeanVM, and whatever comes next.
04 / A tool from the experiments
zk-alloc
Sometimes the bottleneck is the memory you keep asking for.
allocate.prove.reset.