#formal-methods
ls ./tags/formal-methods
2025-12-19~6 min
Specs Are Back, But We're Missing the Tools
LLMs revived specifications. Model checkers like Fizzbee work for algorithms. But for APIs and business logic? The tooling doesn't exist yet.