Sign in

Gabriela Moreira

@bugarela.com
241 followers 275 following 82 posts

CEO at @quint-lang.org. 28 years old, Joinville - Brazil.

PostsRepliesMedia
Gabriela Moreira @bugarela.com · 02/09/2026
We considered many shapes for the Quint product. We experimented a lot. It's time to put something out into the world! Waitlist link below
121
Gabriela Moreira @bugarela.com · 06/08/2026
Testing in the age of AI feels like
- assert!(block.contains("most realistic"), "{block}");
+ assert!(block.contains("MOST REALISTIC path"), "{block}");
010
Gabriela Moreira @bugarela.com · 15/07/2026
Win of the day: Quint made it into a meme! Thank you dear /u/ThirdWaveCat, this made my day and I got a good laugh out of it 💜
0122
Gabriela Moreira @bugarela.com · 14/07/2026
I think pets invading videos should always be clipped!
0110
Gabriela Moreira @bugarela.com · 16/04/2026
I'm happy to announce that @quint-lang.org is becoming its own company with me as its CEO. I have an incredible team joining me in this new journey as we spin out of Informal Systems into Quint Co.
2142
Gabriela Moreira @bugarela.com · 11/08/2025
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
Artwork of an alphabet soup, "Quint rocks" spelled on the floating letters
010
Gabriela Moreira @bugarela.com · 01/08/2025
New blog post is out and this might be my favorite one ever. Inductive invariants are soooo cool: bit.ly/4fkiZ3F
020
Gabriela Moreira @bugarela.com · 22/07/2025
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
010
Gabriela Moreira @bugarela.com · 31/03/2025
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
042