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.

🔧 I just published a blogpost about specs in the #LLM era. Model checkers like #Fizzbee work for algorithms. But for APIs and business logic? The tooling doesn't exist yet.

pierrezemb.fr/posts/specs-...

Currently having a lot of fun modeling some internal spec in #fizzbee!