Projects
Compilers, agents, robots, trading bots, gesture interfaces. Some shipped, some in flight, all real.
Project Nine
Climbing quadruped robot, MuJoCo-first
Designing a four-legged climbing robot in simulation before metal. Policy learning in MuJoCo, then sim-to-real on off-the-shelf actuators. Hardware-software play targeting indie verticals.
Cauchy Capital
Algorithmic market-making on Polymarket
Developed algorithmic market-making strategies for Imperial's first quant society, trading Yes/No options on Polymarket. Multi-language stack — strategies in C++ and Rust, tooling in Python.
SlopFilter
Browser extension that filters AI slop on Twitter
A lightweight browser extension that real-time filters gen-AI content and misinformation from Twitter/X feeds. Pure JS, no dependencies.
Virtual Poker
CLI poker engine in Rust
Built to learn Rust — a CLI poker game that switches between different game styles with full chip tracking. Idiomatic Rust, no shortcuts.
Symbolic Differentiation
Functional differentiator in Haskell
Symbolic differentiation engine in Haskell — algebraic simplification, ADT-driven expression trees.