Introducing Quint Vibes: model checking felt too harsh. Starting today, instead of invariant violations, Quint returns a vibe assessment.
🌟 immaculate vibes -- your spec is fine, probably
⚠️ off vibes -- something feels wrong but we can’t say what
💀 no vibes -- you have bigger problems
I think you might have fell for our April Fools joke 🤣. Quint is still a formal verification tool, not a vibes or slop tool 🙏
Ok, nice. Quint caught a design bug. Not a huge one, but at least the agent was able to use it to change its design.
The general thesis, I think is right. You can use formal methods as guardrails for agents to steer a design, in part, by themselves.
If you are looking for a non-AI-related blog post to read, you got it!
Computer Science is bigger than writing code, and we can now put more time into the high-level design choices and behavior correctness. I want to make AI push us in this direction, and not make us code reviewing zombies 🧟
I love Quint as my scenario finder 💜
Useful collection of Quint links/pointers in this thread!
AI is good at generating code. It's not good at telling you whether that code is correct. @bugarela walked through how a Quint-assisted workflow addresses that gap at @summit_defi last year.
New Quint blog post on the hot topic of cognitive debt, with not only abstract ideas but concrete (code) suggestions on how to address it.
cc @adolfont.github.io @hillelwayne.com
Follow Quint on bluesky!
Extremely excited to be speaking at BugBash this year! Thank you @antithesis.com for the invite 💜
É pra isso que memória ram tá cara (pra não falar de problemas mais pesados)
We just released Quint Connect, a Rust lib for Model-Based Testing, and I wrote a blog post about it: quint-lang.org/posts/quint_...
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
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 💜💜
