Formal verification is the Rust of software correctness — LLMs are making people write specs
arpit_bhayani · x · 2026-11-13
Engineer arpitbhayani argues formal verification is to software correctness what Rust is to memory safety: just as people started shipping Rust because LLMs made it easier to write, they now write formal specifications because LLMs can generate them. His caveat: if you don't understand what you're writing, you can never be sure it is 'correct' — LLMs lower the barrier but create new correctness blind spots.
More from coding & agent
- AI prototype unreliable? Scope it down: let the agent do less, then grow — brandon_galang · 2026-11-13
- Porting an Unreal game to iPhone and iPad with Claude Code, no manual Xcode work — chongdashu · 2026-11-13
- Influzer launches an instant MCP server inspector: paste any URL to see its tools — Fine_Airline_6832 · 2026-11-13
- Open-source getmcp-cli turns 1,280-endpoint OpenAPI specs into 25-tool MCP servers, cutting tool tokens from 263k to 6k — Worried-Barracuda845 · 2026-11-13
- Who's paying for unused AI coding seats? Per-seat billing is quietly leaking money — rcleffke · 2026-11-13
- whats-in-my-claude: open-source local visualizer for Claude Code's .claude folder, runs fully offline via npx — Srqi · 2026-11-13