#specifications
ls ./tags/specifications
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.