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.

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