Gabriela Moreira
@bugarela.bsky.social
Linguagens, compiladores e verificação. Trabalho numa linguagem de especificação chamada Quint e dou aula de métodos formais na UDESC. 26 aninhos, Joinville - SC.
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
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
July 22, 2025 at 1:14 PM
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
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