# Vera programming language

5 Hacker News commenters recommended Vera programming language and 18 criticized it, November 2025 to November 2026. It was recommended in 1 of 13 months.

**Verdict:** Experimental language built for LLM coding agents, praised for its design effort, compiler guarantees and feedback loop. Critics say removing variable names hurts readability and model performance.

## Why people recommend it

- Design effort and ideas praised (4 comments): "as close to English as you can get with the compiler guarantees offered by Vera" ([source](https://news.ycombinator.com/item?id=47957744)) "The strongest idea here, IMO, is not the syntax but the feedback loop" ([source](https://news.ycombinator.com/item?id=47962279)) "I do applaud the lang design effort" ([source](https://news.ycombinator.com/item?id=47961269))

## What people warn about

- Removing variable names hurts readability (7 comments): "The major design decision I'm a little skeptical about is removing variable names" ([source](https://news.ycombinator.com/item?id=47956015)) "It feels wrong to dump identifiers to save tokens: now they're devoid of semantics, and can't be grep'ed or mapped to concepts." ([source](https://news.ycombinator.com/item?id=47959614)) "There's a reason variable names are a thing in programming, and that's to semantically convey meaning." ([source](https://news.ycombinator.com/item?id=47956151))
- Design rationale seen as misguided (5 comments): "The only way the author could have come up with that rationale is that he doesn't understand what a token is" ([source](https://news.ycombinator.com/item?id=47959625)) "The lack of naming seems to indicate a fundamental misunderstanding of how LLM coding agents are successful" ([source](https://news.ycombinator.com/item?id=47956241)) "Seems like a weird decision taken from a weird paper that make everything harder for humans AND llms." ([source](https://news.ycombinator.com/item?id=47963594))
- Unfamiliar syntax, untrained for LLMs (3 comments): "a vibe-coded and vibe-desinged language which effectively does not exist yet" ([source](https://news.ycombinator.com/item?id=47957018)) "LLMs are good at writing programming languages they already know" ([source](https://news.ycombinator.com/item?id=47956245)) "syntax unlike anything it’s been trained on." ([source](https://news.ycombinator.com/item?id=47958713))
- Hallucination risk with less context (2 comments): "For Vera, not having names removes key information that the model would have" ([source](https://news.ycombinator.com/item?id=47956049)) "Good luck managing hallucinations on that context" ([source](https://news.ycombinator.com/item?id=47956807))

## Alternatives hackers recommend

- [Rust](https://hackerapproved.com/p/rust.md): 2039 recommend
- [Go](https://hackerapproved.com/p/go-programming-language.md): 1254 recommend
- [Python](https://hackerapproved.com/p/python.md): 1067 recommend
- [Zig](https://hackerapproved.com/p/zig.md): 743 recommend
- [TypeScript](https://hackerapproved.com/p/typescript.md): 574 recommend

## Cite as

Hacker Approved, "Vera programming language", https://hackerapproved.com/p/vera-programming-language/ (counts from 1,795,640 Hacker News comments, November 2025 to November 2026).