I work at the edges of computing — building game engines, verifying mathematics, composing algorithms into music.
Each project is an attempt to find the precise language a problem deserves.
currently
edyt.video · motion design video editor — clean, ready-to-ship animations without the usual complexity. smooth curve-based pathing, shape morphing, camera system, stagger reveals. early access.
selected work
| Afterglow | iOS Photos-style image viewer for Windows · Direct2D + spring physics · hero transitions |
| AnalysisTrinity | Lean 4 · formal proofs of Nested Intervals · Bolzano-Weierstrass · Heine-Borel |
| Nevermind-Lang | a language |
| Quench | compression as meditation · extraction as gentle unfolding |
| Cocode-Precise | MCP server for exact code symbol retrieval |
