April 29, 2026
No names, just vibes
Vera: a programming language designed for machines to write
This new coding language wants robots in charge — and humans are already roasting it
TLDR: Vera is a new coding language designed so AI can write safer, more checkable programs by removing names and forcing strict rules. Commenters were deeply split, with many mocking it as unreadable for humans and asking why anyone would pick this over older, proven tools.
A new programming language called Vera has entered the chat with a bold pitch: it’s built for AI to write, not people. The idea is simple-ish but spicy: strip out variable names, force every function to declare exactly what it promises to do, and make the compiler act like a strict hall monitor that refuses to run code unless everything checks out. Vera’s creator says today’s AI models aren’t bad at typing code syntax — they’re bad at keeping the big picture straight, especially when names and changing state get messy. So Vera tries to make code more rigid, explicit, and machine-checkable, even compiling to WebAssembly for browser and command-line use.
But the real fireworks are in the comments, where the community basically said: cool theory, nightmare fuel for humans. One of the loudest reactions was that a language with no variable names sounds less like the future and more like a prank on programmers. Critics argued this misunderstands why AI coding tools work at all, with one commenter saying it makes them “doubt anything about this project being useful and workable.” Another brutally summed up the mood: a language that’s easy for machines but hard for people is not the problem anyone was begging to solve. And then came the classic internet flex: if you want strict, fancy correctness features, why not just use something established like Scala or the many other languages Vera compares itself to? Still, a few commenters played armchair language designer, pitching their own dream AI-first languages like it was a fantasy football draft for computer nerds. In other words: Vera launched as a tool for machines, but humans immediately turned it into a comment-section cage match.
Key Points
- •Vera is presented as a programming language intended for large language models to write, and its programs compile to WebAssembly for browser or command-line execution.
- •The language removes variable names and uses structural references such as `@Int.0` and `@Int.1` to refer to bindings.
- •Vera requires every function to declare `requires`, `ensures`, and `effects` clauses, with preconditions checked at call sites and postconditions proved statically.
- •The language is pure by default, and effectful operations such as HTTP requests or LLM inference must be explicitly declared in function signatures.
- •The compiler is described as producing model-oriented error messages that explain the problem, the reason, a concrete fix, and a specification reference.