Curious about Quint but not sure where to start? This thread covers the open source tooling, and a quick word on what's next 🧵

When Charles Hoskinson and his 🐙 call Lean + Quint + Rust "the stack of stacks of stacks," we'll take it. Nothing makes us happier than seeing Quint pushed in ambitious new directions.

If AI writes the code, what's left for engineers? @bugarela.com's answer on the @infoq.com podcast: the work that always required the most thought. Defining correct behavior, reasoning about every ordering of events, catching the edge cases. AI won't take the fun part away.

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 💜

Quint specification language is making #FormalMethods more accessible. Learn how AI is lowering the barrier to formal specification and model-based testing - and why defining correct system behavior remains essential human work. 🎧 Listen now: bit.ly/4fbSXjc #AIEngineering #Testing #Culture #Agile

Formal Methods for Every Engineer in an AI-Powered Future

In this podcast Shane Hastie, Lead Editor for Culture & Methods spoke to Gabriela Moreira about making formal methods accessible through the Quint specification language, how AI is dramatically loweri...

bit.ly

A race condition had stumped the Open Hands team for months. When they modeled it with Quint, it predicted exactly which fix would fail before it shipped. Here's how they used Quint to find a fix they could trust.

"Who knows what's right and wrong is the person building the application. There's so much judgment involved in that." @bugarela.com on what AI still can't decide for you, from her chat on the DevNTell podcast.

Big update to our LLM support. Quint now has easy-to-install agent skills with our main techniques for writing specs and modeling systems. If you've been meaning to write your first formal specification, today's a good day to start.

Judgment is becoming a scarce resource. AI is rapidly automating the work that used to develop intuition and judgment.

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.

The Balancer V2 exploit looked like a simple rounding bug. It wasn't. 🧵

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

Josef Widder is giving a tutorial at FORTE next week on formal methods for distributed protocols with Quint.

"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 🧵

Quint just got merged into GitHub Linguist. Starting with the next release, GitHub detects Quint as a language: syntax highlighting on .qnt files and Quint in the language stats bar. One requirement to qualify: hundreds of repos outside the maintaining org. We're in!

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.

How we used Quint to find over 10 bugs in SQLite while hardening Turso https://lobste.rs/s/maqmo2 #databases #formalmethods

How we used Quint to find over 10 bugs in SQLite while hardening Turso

Pavan Nambi used Quint to model the SQLite C API, generate traces, and run them against SQLite. The exercise hardened Turso and surfaced over 10 bugs in SQLite itself.

turso.tech

wake up babe 👀 @bugarela.com's talk from @antithesis.com Bug Bash dropped

Gabriela Moreira@bugarela.com · 3mo ago

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!

Four more things the Quint community built and shared. A production session lifecycle, a distributed app spec, formally verified RPG, and Quint Connect for Elixir.

We worked with Category Labs and Monad on an independent review of MonadBFT, running the Quint simulator for days across two variants of the spec.

Three ways to drive testing from a Quint spec, depending on how much control your runtime gives you: → Model-Based Testing: replay traces from the model → Hybrid: model proposes the next action based on results from runtime → Trace Validation: capture from production, check it against the model

Quint is a specification language built for engineers who need to trust their systems. @bugarela.com explains why it was built, the design decisions behind it, and what it actually takes to make formal specification useful in practice. via @UniteAi ↓

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

Modeling Software With Quint - Zicklag's Leaflets

I believe having good abstractions is key to writing good code. But as a coder, I often write code in an effort to find those abstractions…

zicklag.leaflet.pub

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↓

The Quint team is locked in on building Quint Studio. Here's a bit more about what we're working on and how you can get involved.

The Quint team is at Bug Bash by @AntithesisHQ this week. @bugarela took the stage to make the case for "Behaviours as the backbone of software correctness."

Here it is! The blog post about @quint-lang.org that I've been trying to get out since Friday. 😄 It gives an overview of the kinds of formal methods I know of, as well as my recent experiences using Quint to design the arbiter service we've been working on.

Modeling Software With Quint

I believe having good abstractions is key to writing good code. But as a coder, I often write code in an effort to find those abstractions…

zicklag.leaflet.pub

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.