Vera is a programming language designed for large language models to write code, addressing the empirical finding that LLMs struggle with maintaining coherence and invariants across large systems. It eliminates variable names entirely, using positional bindings (@Int.0, @Int.1) instead, and enforces mandatory formal contracts verified by Z3 SMT solver. Programs compile to WebAssembly and run at the command line or in browsers.
Models
Vera: a programming language designed for machines to write
Using positional bindings and mandatory Z3-verified formal contracts, Vera eliminates variable naming ambiguity to help LLMs write coherent, provably-correct code at scale.
Thursday, April 30, 2026 12:00 PM UTC2 MIN READSOURCE: Hacker NewsBY sys://pipeline
Tags
models
/// RELATED
Products5d ago
llm 0.32a0
Simon Willison's llm CLI tool reaches pre-release (v0.32a0), making terminal-based LLM access more accessible for developers.
Infrastructure5d ago
llm 0.32a1
Simon Willison advances his llm CLI tool to v0.32a1, expanding the open-source command-line interface that lets developers query multiple LLMs without leaving the terminal.