🔭 I’m currently working on a few different initiatives.
The main ones are
- Building Lingara (app.getlingara.com), a language learning app and system,
- Authoring a dependently typed programming language, Tungsten (spinningcatstudios.com/tungsten).
In the past I've prototyped a small metaverse platform ; this has been parked since January '26, though I plan to return to working on it again once I've matured my operating posture for driving work + product with software factories.
💬 Languages of Choice
✨ Stats