iiinova — where your digital self keeps evolving

Quint @quint-lang.org · 29/09/2026

New release: Quint v0.33.0 is out! With performance improvements, bug fixes, and support for action properties. You can now write temporal properties about the transitions of your model and check them with TLC ✨ Leaving a star on our repo would mean a lot to us ⭐

142

Quint @quint-lang.org · 28/09/2026

We put together a practical reference to formal verification tools: quint.sh/guides/form... If you're getting started, use it to explore the landscape. If you're already an expert, help us make it better.

quint.sh

A Reference of Formal Verification Tools

Compare TLA+, Quint, Lean, Rocq, Agda, Dafny, Verus, Kani, Certora, Alloy, PRISM, AI provers, and more. Choose the right formal method for design, proofs, or code.

321

Quint @quint-lang.org · 22/09/2026

New video on how to trust AI-generated code before you ship it. Your agents and software factories need tools that enforce your intentions. See what that takes: bit.ly/4y91lsf

youtube.com

How to Trust AI Generated Code Before You Ship It

How do you trust AI-generated code before you ship it? The answer i...

011

Quint @quint-lang.org · 18/09/2026

Our CEO @bugarela.com was featured in @techradar.com today on what's changed in trust with AI writing code. "AI is a generation tool, which is only as good as our ability to decide if a generated solution is correct or not." x.com/techradar/s...

x.com

TechRadar (@techradar) on X

'Whatever you try to fix breaks things even more': How to avoid the hidden dangers of AI code https://t.co/Zi8ocEOQlL

011

Quint @quint-lang.org · 17/09/2026

Don't you love when you're randomly listening to a podcast while working, and you hear yourself mentioned? Great conversation with Tessl on the @ainativedev.io podcast about their dark factory. Quint got a shoutout for helping provide effective guardrails along the way.

110

Quint @quint-lang.org · 15/09/2026

The code works. It passed review, it shipped, everyone moved on. Six weeks later it breaks, and nobody on the team understands why. That's a new cost teams take when AI writes the code. New video on navigating cognitive debt: bit.ly/46Y8uiZ

youtube.com

The Hidden Cost of Letting AI Write Your Code

The code works, it shipped, and six weeks later nobody understands ...

011

Quint @quint-lang.org · 14/09/2026

The early reviews are in, and we're grateful. Thank you to everyone testing Quint Studio and telling us what you think. And these are only the public notes. The private feedback has been just as generous 💜

111

Quint @quint-lang.org · 09/09/2026

Quint Studio gives it to you straight.

140

Quint @quint-lang.org · 08/09/2026

Say hello to Quint Studio! Software is full of decisions about how things should work: what happens first, what gets retried, who can do what, and what should never happen.

140

Quint @quint-lang.org · 07/09/2026

Agents like to flood. We like to grow.

111

Quint @quint-lang.org · 03/09/2026

Remember when programming was fun?

151

Reposted by Quint

Gabriela Moreira @bugarela.com · 02/09/2026

We considered many shapes for the Quint product. We experimented a lot. It's time to put something out into the world! Waitlist link below

121

Reposted by Quint

Gabriela Moreira @bugarela.com · 01/09/2026

Beta is launching soon! Only for the waitlist for now, but there is still time to join 👇

032

Quint @quint-lang.org · 01/09/2026

AI changed where the knowledge about your software lives. You might be reviewing code you didn't write and leaning on tests you didn't create.

130

Quint @quint-lang.org · 31/08/2026

AI can generate the code and the tests. The pain now lies on knowing which software behaviors those tests actually protect.

110

Quint @quint-lang.org · 20/08/2026

The Quint community has been busy this summer, from bug hunts in production systems to freshly verified consensus protocols. A few highlights we loved seeing:

131

Quint @quint-lang.org · 30/07/2026

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

141

Quint @quint-lang.org · 28/07/2026

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.

142

Quint @quint-lang.org · 17/07/2026

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.

131

Reposted by Quint

Gabriela Moreira @bugarela.com · 15/07/2026

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 💜

0122

Reposted by Quint

InfoQ @infoq.com · 13/07/2026

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

bit.ly

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

042

Quint @quint-lang.org · 07/07/2026

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.

141

Quint @quint-lang.org · 03/07/2026

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

121

Quint @quint-lang.org · 02/07/2026

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.

251

Quint @quint-lang.org · 29/06/2026

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

130

Quint @quint-lang.org · 26/06/2026

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.

111

Quint @quint-lang.org · 24/06/2026

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

110

Quint @quint-lang.org · 19/06/2026

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

041

Quint @quint-lang.org · 03/06/2026

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

130

Quint @quint-lang.org · 02/06/2026

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

141

Quint @quint-lang.org · 28/05/2026

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!

081

Quint @quint-lang.org · 26/05/2026

New Quint emote just dropped 👀

051

Quint @quint-lang.org · 20/05/2026

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.

184

Quint @quint-lang.org · 14/05/2026

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

052

Quint @quint-lang.org · 14/05/2026

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.

171

Quint @quint-lang.org · 07/05/2026

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.

150

Quint @quint-lang.org · 06/05/2026

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

150

Quint @quint-lang.org · 30/04/2026

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 ↓

140

Reposted by Quint

Gabriela Moreira @bugarela.com · 28/04/2026

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

zicklag.leaflet.pub

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…

084

Quint @quint-lang.org · 28/04/2026

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↓

152

Quint @quint-lang.org · 27/04/2026

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.

161

Quint @quint-lang.org · 24/04/2026

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

030

Reposted by Quint

Zicklag @zicklag.dev · 23/04/2026

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.

zicklag.leaflet.pub

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…

4265

Quint @quint-lang.org · 22/04/2026

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

142

Quint @quint-lang.org · 16/04/2026

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.

2102

Quint @quint-lang.org · 13/04/2026

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.

122

Quint @quint-lang.org · 10/04/2026

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.

121

Quint @quint-lang.org · 09/04/2026

"Inductive invariant" sounds intimidating. They are a powerful way of proving the absence of design bugs in distributed systems. Quint has tooling for them.

142