[P] Vera: a programming language designed for LLMs to write

About this article

I've built a programming language whose intended users are language models, not people. The compiler works end-to-end and it's MIT-licensed. Models have become dramatically better at programming over the last few months, but a significant part of that improvement is coming from the tooling and architectures around them: agentic loops, structured feedback from linters and test runners, the ability to iterate rather than generate in a single shot. The models got somewhat better; the scaffolding...