I'm Alasdair, a recovering astrophysicist turned CTO, and occasional programming language designer. My current open-source project is Vera, a language built from the ground up for LLMs to write, featuring mandatory Z3-verified contracts, typed De Bruijn indices, algebraic effects, and WebAssembly compilation.

The thesis is simple: LLMs are fluent but unreliable. If we give them a language with formal verification baked in at every step, we can have both. Vera is my attempt to find out if that's true.
If you find the work interesting, whether that's Vera, the writing on AI and programming language design, or the broader project of figuring out what software development actually looks like in the LLM era sponsoring helps me keep the open-source work going alongside everything else.