Vera: A programming language designed for LLMs with compile-time verification and no variable names
By
unignorant
Baker's choice. Dense with flavour, light on filler.
Summary
Vera is a novel programming language specifically designed for large language models (LLMs) to write. It eliminates variable names in favor of numbered bindings (@Int.0, @Int.1), enforces preconditions via requires clauses checked at compile time, and uses ensures clauses with SMT solver verification for postconditions. Functions are pure with no side effects. The language compiles to WebAssembly and can run at the command line or in the browser. The name derives from Latin veritas (truth), emphasizing correctness and verifiability.
Key quotes
· 5 pulledVera (v-ERR-a) is a programming language designed for large language models to write.
There are no variable names. @Int.0 is the most recent Int binding; @Int.1 is the one before.
The requires clause is a precondition the compiler checks at every call site. The ensures clause is a postcondition the SMT solver proves statically.
The function is pure — no side effects of any kind. If any of this is wrong, the code does not compile.
The name comes from the Latin veritas (truth).
You might also wanna read
Why small pull request policies can backfire on software quality
The article critiques a common software engineering policy that limits pull requests (PRs) to small sizes (e.g., 500 lines, few files). Whil
apenwarr.ca·2h ago
How Anthropic contains Claude's expanding access across its products
Anthropic describes how it has evolved its approach to granting Claude, its AI assistant, increasingly broad access to internal systems over
anthropic.com·3h ago
Testing Cursor's Jira integration: How ticket quality affects AI agent performance
Cursor launched a Jira integration that lets developers assign tickets directly to an AI agent, eliminating context switching. The author te
bit.ly·3h ago
Netflix engineer's open-source tool cuts AI token usage by up to 90%
Netflix senior engineer Tejas Chopra created software called "Project Headroom" that prunes redundant tokens from AI agent instructions befo
theregister.com·4h ago
Anthropic Releases Free Security Plugin for Claude Code Terminal to Detect Vulnerabilities
Anthropic has released a free security-guidance plugin for its Claude Code terminal tool that autonomously reviews code edits, model outputs
cybersecuritynews.com·4h ago
Researcher's "ADHD" tool for Claude Code claims 2x improvement; experts call for more evidence
Solo researcher Udit Akhouri released a third-party Agent SDK tool called "ADHD" for Claude Code on Reddit, claiming it helps coding agents
bit.ly·4h ago