Formal methods tip: have your coding agent write specs and focus on invariants
blaizedsouza · x · 2026-11-16
DominikTornow shares advice for getting started with formal methods: ask your AI coding agent to write a specification, then immediately start discussing invariants — properties that must always hold. His point: a formal model without invariants is just "a rigorous way of saying nothing." The quote-tweet references poteto's AIE talk on how the grok @bot team ships quickly without compromising quality.
More from coding & agent
- AI Evals Guide: Generic Metrics Fail, Top Teams Rely on Error Analysis — PawelHuryn · 2026-11-16
- 45 agent skills from shipping three live products, open-sourced on GitHub — PawelHuryn · 2026-11-16
- PM field guide: building the same CRM in Lovable, AI Studio, and Claude — PawelHuryn · 2026-11-16
- Build a multi-tenant SaaS in 3-4 hours with Claude Code, Clerk, and Supabase — PawelHuryn · 2026-11-16
- Anthropic's 11 open PM roles pay $305K-$460K — none require a CS degree — PawelHuryn · 2026-11-16
- NVIDIA open-sources Personal AI Router: turn every home PC into one AI cluster — blaizedsouza · 2026-11-16