Build
Things I've built & shipped
01
Galen Health
Company2025– · Cofounder & CEO · San Francisco
Building a virtual cell — a causal model of human biology to study disease from first principles. Cancer is the first proving ground.
02
Rosalind
Shipped2026 · Rust · 251★ · reached the HN front page
A genomics engine where memory is a verifiable contract — whole-genome pipelines on a laptop, in RAM you declare up front, with a reproducible receipt.
03
rewind
Shipped2026 · Python · Git for long stochastic runs
Record, replay, and branch any seeded multi-million-step run in O(√T) memory — and verify bit-exact replay.
04
tinyzkp
ShippedRust · sublinear-space ZK · public REST API
A sublinear-space zero-knowledge prover with a public REST API and pricing — proving long traces in a fraction of the usual memory.