New Quint blog post! This time, about a technique called message soup that can elevate the level of abstraction of a model and improve analysis by a ton! We showed how this helps in a specific use-case: the MonadBFT consensus spec.

Check out the post: bit.ly/3USyYMP

New blog post is out and this might be my favorite one ever. Inductive invariants are soooo cool: bit.ly/4fkiZ3F

New Quint post in the new Quint blog! Quint now has it's own blog and which will be receiving more technical posts like this one!

In today's post, we'll help you understand the new Solana's consensus algorithm by playing with the Quint spec we wrote for it :)

Check it out! bit.ly/4lZHGEA

Quint tá ficando chique, temos até artezinha de convite.

Vamos fazer um evento de lançamento pro Quint, a linguagem de especificação em que eu trabalho! Venham dar uma força e conhecer o projeto, é totalmente open source!

Inscrições (gratuitas, online) aqui: bit.ly/quint-launch