New post on what that means for engineering organizations and why we're building Quint: bit.ly/3RcE3kV

DevNTell - Quint Co: The Executable Spec Language Made For The AI Era #QuintLang www.youtube.com/watch?v=_8xV...

Great Article by Adam Chlipala on Why Software Requirements Get Easier in an AI Economy. Formal verification is only helpful if you know what to verify. The spec you check needs to match your intents about what is possible and what shouldn't happen.

fixed your headline

We modeled the pool in Quint with the bug present and asked: do naturally-stated correctness invariants find it? Three obvious candidates all missed it for the same reason, they checked outputs, not what the pool stores. Check out the Quint model here: bit.ly/4eLLdod

GitHub Linguist shipped with native Quint support! If your Quint repo has a # mode Bluespec annotation, you can remove it. .qnt files now get proper syntax highlighting and language detection. Our Bluespec era is over. 👋

"There is no magical checkmark for software correctness." At Bug Bash 2026, @bugarela made the case for chasing confidence instead, and showed why the AI era raises the stakes. Here's a breakdown 🧵

This is one of the first dreams I had about Quint: one day, we'll be an official language in GitHub. It warms my heart so much to see this happening, and I feel very good about the new dreams I'm allowing myself to have.

New Quint emote just dropped 👀

One of the most valuable things about Quint is not just that it finds bugs, it exposes behaviors engineers often don't think to test. The @tur.so team used Quint to model SQLite's C API contracts, automatically generate traces, and replay them against the real implementation.

My talk at BugBash is out!! bit.ly/4ntN4BG I had a blast at this event and I'm really happy with how the talk was received. Hope the recording can reach even more people and shed a light on the topic of confidence and correctness for software 💜 Thanks @antithesis.com for taking care of recording!

Gotta love this community 💜

Whenever I'm preparing exercises to demonstrate Quint in some way, I struggle to write a model that has bad behavior that needs to be fixed for the exercise. It's something about "making bad states irrepresentable" and how much the data structures we use at the model impact the possible behaviors.

The more serious my work day has been, the more silly I feel the need to be outside work calls. I can't imagine not working remote lol, I'm the kind of person that needs to lay on the ground to think sometimes (often).

The post lays out the general techniques (message soup, sub-protocol abstraction, unfolding recursion into lists) that make distributed protocols at this complexity tractable. bit.ly/4tYIvlF

I've been thinking so much about testing since this conference! If you think Quint can help in your test suite, I'd love to hear about your needs, even if you don't really get what Quint is or do. And looking forward for the videos to be out so you can watch all of the amazing talks that I watched!

This interview was really fun to make! Check it out if you want to learn more about me and Quint 💜

I really love this blogpost from @zicklag.dev ! It's amazing how he reached, on his own, many of the same insights we had about Quint. People who think specs can be just markdown files don't understand how valuable the thinking we do while writing code is. zicklag.leaflet.pub/3mk527ng7hs2...

New podcast with @bugarela.com on @ColorsofWeb3pod talking spec-driven development and how we benefit from precision and executability of specs, especially in the AI era. Why specs can't just be English and markdown↓

If you missed my talk at BugBash, know that we are working on packaging all ideas I presented there into one system so everyone can use it 💜

Spring is here, and the bugs are out 🐛 Here are a few real ones the Quint community has been finding in production.

Quint started as a question: how do we actually trust the systems we're building? Today it becomes its own company, with @bugarela.com as CEO.

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.

Four things the Quint community built and shared recently. D&D combat rules, multi-level Go MBT pipelines, Quint Connect for Zig, and a race condition caught before a single line of code was written.

We found two liveness bugs in published GWTS pseudocode via simulation and reasoning. Then we used Quint’s new TLC integration to formally verify liveness as a temporal property across the full reachable state space.

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

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.

Follow Quint on bluesky!

Extremely excited to be speaking at BugBash this year! Thank you @antithesis.com for the invite 💜

Quint is the specification language you've been looking for quint-lang.org

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

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