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

The Quint Specification Language
Slides for @se4fp.github.io Warm Up talk today by @bugarela.bsky.social
bit.ly/3HnRqtM

Começando jájá

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 🥰)

Artwork of an alphabet soup, "Quint rocks" spelled on the floating letters

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

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 💜

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

YouTube video by MACROCOSM Quint: A modern and executable specification language

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...

eu não acredito que esses arrombado lá do país deles estão me estressando aqui no meu país

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.
(+)

Estrelinhas pro Quint me deixam feliz! Obrigada @adolfont.bsky.social por todo o apoio 💜💜

Adolfo Neto e Gabriela Moreira

Começa daqui a pouco o tutorial de @bugarela.bsky.social sobre Quint no #CBSOFT

Quint – Quint A modern and exectuable specification language

Gabriela Moreira @bugarela.bsky.social
vai apresentar Quint daqui a pouco no #CBSOFT.

quint-lang.org

Desaprendi a fazer chimarrão (tristeza)

Oh no :( você pode vir pro tutorial no segund slot (depois do coffee break) talvez.

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?

Simmmmm

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=...

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 :)