Post

🏴‍☠️ Novo patrocinador a bordo: @quint-lang.org ! A Quint é uma linguagem open source de especificação executável. Com ela você descreve o comportamento do sistema e verifica se ele está certo antes que o bug chegue em produção.

15/10/26, 1:06 pm1 repost7 likes

Mambi

@gambiconf.dev

Veja mais sobre no site deles para saber como fazer verificação formal sem sofrimento, ideal para sistemas distribuídos, blockchain e qualquer coisa em que um edge case custa caro: quint.sh

quint.shQuint: executable specifications for reliable systemsQuint is an executable specification language: a modern TLA+ alternative for software engineers. Write specs you can run, simulate, and verify before shipping code.

Gabriela Moreira

@bugarela.com

💜💜💜