🔧 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!