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.
Reposted by Gabriela Moreira
Distributed Async Await
✅ Simulation tested
❌ Formally verified
Interested in some live coding ... wait, no ... specifying a distributed protocol?!
Who’s up for a webinar to formalize @resonatehqio.bsky.social protocol stack. From scratch. In quint.
Let me see hands
✅ Simulation tested
❌ Formally verified
Interested in some live coding ... wait, no ... specifying a distributed protocol?!
Who’s up for a webinar to formalize @resonatehqio.bsky.social protocol stack. From scratch. In quint.
Let me see hands
October 2, 2025 at 9:05 AM
Distributed Async Await
✅ Simulation tested
❌ Formally verified
Interested in some live coding ... wait, no ... specifying a distributed protocol?!
Who’s up for a webinar to formalize @resonatehqio.bsky.social protocol stack. From scratch. In quint.
Let me see hands
✅ Simulation tested
❌ Formally verified
Interested in some live coding ... wait, no ... specifying a distributed protocol?!
Who’s up for a webinar to formalize @resonatehqio.bsky.social protocol stack. From scratch. In quint.
Let me see hands
Reposted by Gabriela Moreira
The Quint Specification Language
Slides for @se4fp.github.io Warm Up talk today by @bugarela.bsky.social
bit.ly/3HnRqtM
Slides for @se4fp.github.io Warm Up talk today by @bugarela.bsky.social
bit.ly/3HnRqtM
August 13, 2025 at 9:41 PM
The Quint Specification Language
Slides for @se4fp.github.io Warm Up talk today by @bugarela.bsky.social
bit.ly/3HnRqtM
Slides for @se4fp.github.io Warm Up talk today by @bugarela.bsky.social
bit.ly/3HnRqtM
Começando jájá
Introdução à Linguagem Quint, Gabriela Moreira (Informal Systems) - Esquenta SE4FP
Ao vivo amanhã.
Se quiser participar ao vivo no Google Meet, preencha o form na descrição.
www.youtube.com/watch?v=IL0a...
Ao vivo amanhã.
Se quiser participar ao vivo no Google Meet, preencha o form na descrição.
www.youtube.com/watch?v=IL0a...
Introdução à Linguagem Quint, Gabriela Moreira (Informal Systems) - Esquenta SE4FP
YouTube video by Fronteiras da Engenharia de Software
www.youtube.com
August 13, 2025 at 7:00 PM
Começando jájá
Reposted by Gabriela Moreira
Vou ser polêmica: eu tô real cansada de ouvir SOBRE gurias na computação. O que eu quero é ver e ouvir o que elas de fato, FAZEM.
Quem quiser ver uma guria "das brabas" na área, cola aí hoje às 16h. A Gabriela trabalha com métodos formais e linguagens de programação (e foi minha aluna 🥰)
Quem quiser ver uma guria "das brabas" na área, cola aí hoje às 16h. A Gabriela trabalha com métodos formais e linguagens de programação (e foi minha aluna 🥰)
Introdução à Linguagem Quint, Gabriela Moreira (Informal Systems) - Esquenta SE4FP
Ao vivo amanhã.
Se quiser participar ao vivo no Google Meet, preencha o form na descrição.
www.youtube.com/watch?v=IL0a...
Ao vivo amanhã.
Se quiser participar ao vivo no Google Meet, preencha o form na descrição.
www.youtube.com/watch?v=IL0a...
Introdução à Linguagem Quint, Gabriela Moreira (Informal Systems) - Esquenta SE4FP
YouTube video by Fronteiras da Engenharia de Software
www.youtube.com
August 13, 2025 at 2:51 PM
Vou ser polêmica: eu tô real cansada de ouvir SOBRE gurias na computação. O que eu quero é ver e ouvir o que elas de fato, FAZEM.
Quem quiser ver uma guria "das brabas" na área, cola aí hoje às 16h. A Gabriela trabalha com métodos formais e linguagens de programação (e foi minha aluna 🥰)
Quem quiser ver uma guria "das brabas" na área, cola aí hoje às 16h. A Gabriela trabalha com métodos formais e linguagens de programação (e foi minha aluna 🥰)
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
Check out the post: bit.ly/3USyYMP
August 11, 2025 at 3:11 PM
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
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
August 1, 2025 at 1:15 PM
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
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
Yeyy super cool! Thank you for making it happen!!
June 25, 2025 at 10:02 PM
Yeyy super cool! Thank you for making it happen!!
This was so much fun to record. Thanks for inviting me and being a great host @chreke.com 💜
New episode of the Func Prog Podcast! In this episode I chat with @bugarela.bsky.social about functional programming, Quint, TLA+ and why we need more formal verification in our lives!
YouTube: youtu.be/zKERmkonANM?...
Spotify: open.spotify.com/episode/4yaI...
RSS: anchor.fm/s/10395bc40/...
YouTube: youtu.be/zKERmkonANM?...
Spotify: open.spotify.com/episode/4yaI...
RSS: anchor.fm/s/10395bc40/...
Func Prog Podcast Episode 4 - Gabriela Moreira
YouTube video by Func Prog Sweden
youtu.be
May 28, 2025 at 10:00 AM
This was so much fun to record. Thanks for inviting me and being a great host @chreke.com 💜
O Adolfo foi mais rápido que eu no post! Hahaha
March 31, 2025 at 5:20 PM
O Adolfo foi mais rápido que eu no post! Hahaha
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
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
March 31, 2025 at 5:20 PM
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
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
Fui num podcast falar de Quint! Muito maneiro, começa meio cringy, mas meu inglês engata melhor conforme vou me acalmando 😅
Vão lá dar uma olhadinha/escutadinha 🫰
Youtube: www.youtube.com/watch?v=Qnmr...
Spotify: open.spotify.com/episode/37kF...
Vão lá dar uma olhadinha/escutadinha 🫰
Youtube: www.youtube.com/watch?v=Qnmr...
Spotify: open.spotify.com/episode/37kF...
Quint: A modern and executable specification language
YouTube video by MACROCOSM
www.youtube.com
March 7, 2025 at 8:46 PM
Fui num podcast falar de Quint! Muito maneiro, começa meio cringy, mas meu inglês engata melhor conforme vou me acalmando 😅
Vão lá dar uma olhadinha/escutadinha 🫰
Youtube: www.youtube.com/watch?v=Qnmr...
Spotify: open.spotify.com/episode/37kF...
Vão lá dar uma olhadinha/escutadinha 🫰
Youtube: www.youtube.com/watch?v=Qnmr...
Spotify: open.spotify.com/episode/37kF...
Reposted by Gabriela Moreira
eu não acredito que esses arrombado lá do país deles estão me estressando aqui no meu país
January 21, 2025 at 2:25 PM
eu não acredito que esses arrombado lá do país deles estão me estressando aqui no meu país
Reposted by Gabriela Moreira
A turma do SBLP #CBSOFT.
Eu estou embaixo, na ponta esquerda. Ao meu lado, Fernando Quintão, professor da UFMG, que entrevistamos no Fronteira da Engenharia de Software. Ao lado dele, @bugarela.bsky.social (Informal Systems / Quint), que entrevistamos no Elixir em Foco.
(+)
Eu estou embaixo, na ponta esquerda. Ao meu lado, Fernando Quintão, professor da UFMG, que entrevistamos no Fronteira da Engenharia de Software. Ao lado dele, @bugarela.bsky.social (Informal Systems / Quint), que entrevistamos no Elixir em Foco.
(+)
October 5, 2024 at 9:05 PM
A turma do SBLP #CBSOFT.
Eu estou embaixo, na ponta esquerda. Ao meu lado, Fernando Quintão, professor da UFMG, que entrevistamos no Fronteira da Engenharia de Software. Ao lado dele, @bugarela.bsky.social (Informal Systems / Quint), que entrevistamos no Elixir em Foco.
(+)
Eu estou embaixo, na ponta esquerda. Ao meu lado, Fernando Quintão, professor da UFMG, que entrevistamos no Fronteira da Engenharia de Software. Ao lado dele, @bugarela.bsky.social (Informal Systems / Quint), que entrevistamos no Elixir em Foco.
(+)
Estrelinhas pro Quint me deixam feliz! Obrigada @adolfont.bsky.social por todo o apoio 💜💜
Quint só tem 791 estrelas!
Vamos ajudar o projeto open source onde @bugarela.bsky.social é lead developer?
Dá sua estrelinha lá!
#SBLP #CBSOFT
github.com/informalsyst...
Vamos ajudar o projeto open source onde @bugarela.bsky.social é lead developer?
Dá sua estrelinha lá!
#SBLP #CBSOFT
github.com/informalsyst...
GitHub - informalsystems/quint: An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
An executable specification language with delightful tooling based on the temporal logic of actions (TLA) - informalsystems/quint
github.com
October 2, 2024 at 10:03 AM
Estrelinhas pro Quint me deixam feliz! Obrigada @adolfont.bsky.social por todo o apoio 💜💜
Reposted by Gabriela Moreira
Começa daqui a pouco o tutorial de @bugarela.bsky.social sobre Quint no #CBSOFT
October 1, 2024 at 12:12 PM
Começa daqui a pouco o tutorial de @bugarela.bsky.social sobre Quint no #CBSOFT
Reposted by Gabriela Moreira
Quint – Quint
A modern and exectuable specification language
quint-lang.org
October 1, 2024 at 10:47 AM
Desaprendi a fazer chimarrão (tristeza)
September 23, 2024 at 1:37 PM
Desaprendi a fazer chimarrão (tristeza)
Reposted by Gabriela Moreira
Eu já dei esta ideia no moribundo Twitter, mas vai de novo aqui: seria legal ter um evento online com os 3 principais criadores brasileiros de linguagens de programação: Roberto Ierusalimschy, José Valim e Leo de Moura?
September 4, 2024 at 11:20 AM
Eu já dei esta ideia no moribundo Twitter, mas vai de novo aqui: seria legal ter um evento online com os 3 principais criadores brasileiros de linguagens de programação: Roberto Ierusalimschy, José Valim e Leo de Moura?
Reposted by Gabriela Moreira
Gabriela esteve no episódio
TLA+ e Elixir com Gabriela Moreira, Engenheira de Pesquisa na Informal Systems, Mestre em Computação pela UDESC
www.elixiremfoco.com/episodio?id=...
TLA+ e Elixir com Gabriela Moreira, Engenheira de Pesquisa na Informal Systems, Mestre em Computação pela UDESC
www.elixiremfoco.com/episodio?id=...
September 3, 2024 at 7:52 PM
Gabriela esteve no episódio
TLA+ e Elixir com Gabriela Moreira, Engenheira de Pesquisa na Informal Systems, Mestre em Computação pela UDESC
www.elixiremfoco.com/episodio?id=...
TLA+ e Elixir com Gabriela Moreira, Engenheira de Pesquisa na Informal Systems, Mestre em Computação pela UDESC
www.elixiremfoco.com/episodio?id=...
Reposted by Gabriela Moreira
notas pra roupinha que a Márcia comprou pra mim
September 3, 2024 at 7:47 PM
notas pra roupinha que a Márcia comprou pra mim
Chegando aqui agora e já fica aí esse anúncio de que vou ministrar um tutorial no SBLP esse ano :)
Perdemos a conta do CBSOFT no Twitter (ao menos temporariamente). Não faz diferença, pois o público do CBSOFT parecia estar majoritarimente no Instagram. Uma das últimas postagens lá foi avisando que @bugarela.bsky.social vai ministrar curso de Quint no SBLP
cbsoft.sbc.org.br/2024/sblp/tu...
cbsoft.sbc.org.br/2024/sblp/tu...
CBSoft 2024 | 15th Brazilian Conference on Software: Practice and Theory
cbsoft.sbc.org.br
September 3, 2024 at 7:27 PM
Chegando aqui agora e já fica aí esse anúncio de que vou ministrar um tutorial no SBLP esse ano :)