Post

Quint@quint-lang.org

Quint made it onto The Stack Overflow Podcast. A few things @bugarela.com gets into with Ryan Donovan: → why “you’re absolutely wrong” is the answer engineers actually want → the Kubernetes fix Quint rejected before it failed in prod → how writing the spec finds bugs before you run a single tool