#fizzbee
ls ./tags/fizzbee
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.
LLMs revived specifications. Model checkers like Fizzbee work for algorithms. But for APIs and business logic? The tooling doesn't exist yet.