Experiments
My research and projects.
-
Yolk
A Modern E-Graph Engine for OCaml.
-
Sparse Parity Learning
An MLP hits a real sample-complexity wall learning sparse parities, with a Fourier-basis progress measure that sees it coming before the loss does.
-
Grokking on Modular Arithmetic
Replicating grokking (delayed generalization) in a small transformer trained on modular arithmetic.
-
Vela
The fastest published verifiable DEX matching engine ever.
-
Anvil
An AI coding agent with a conscience.
-
Robinhood
Prediction Market velocity signals for Robinhood MCP.
-
Skew
Typed DSL for compositional financial contracts in OCaml.
-
Auric
A complete DeFi primitive stack.
-
Xenith
A Rust library for transport-agnostic cross-chain state sync.
-
Prism
Open source connector framework for velocity signal engines.
-
Minos
A Hindley-Milner type inference engine written in OCaml.
-
Aegis
A coding agent plugin for DeFi developers.
-
Obsidian
Implied volatility surface construction.
-
Create2
Generate deployer salts that produce contract addresses.
-
Galvani
Hodgkin-Huxley neuron simulator.
-
Albatross
Multi-Agent Probabilistic Forecasting.
-
Gray
Reaction-Diffusion Simulator.
-
ExoLand
Buy Real Estate in Space. Built with Bruce Nshuti Hirwa, Scott Bihag, and Danny Tat.
-
Reply Guy
I automated my Twitter gossip.
-
Rita
A macro research assistant for Discord.
-
Lumina
Alternative data for macro regime detection.
-
Vela Exchange
A high-performance verifiable spot DEX.
-
Fed Hawkishness Index
A FinBERT NLP pipeline on FOMC language.
-
Trvl.
Let me help you plan a trip.
-
Bartender
Let me make you a drink.