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 ⭐

152

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

If you find a missing tool or any mistake, please tell us! We want this to be an accurate, useful, and current reference.

000

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 beta's still open if you want in: bit.ly/4wr3FK9

000

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

If you're interested in Quint Studio telling you you're wrong, our waitlist is open: bit.ly/4wr3FK9

tally.so

Join the Quint Studio Waitlist

Made with Tally, the simplest way to create forms.

000

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

Quint Studio gives it to you straight.

140

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

Thank you! We are excited for you to try it out. If you have any feedback we would love to hear it.

000

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

Quint Studio lets you capture those decisions as executable specs, then checks your code against them as it changes. So when a change, yours or an AI’s, breaks a decision you’ve already made, you can catch it. Early access is rolling out to our waitlist.

000

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

Quint Studio is coming, to help you see where the water's really going. Sign up for early access: bit.ly/4wr3FK9

tally.so

Join the Quint Studio Waitlist

Made with Tally, the simplest way to create forms.

010

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

We want a future where handing your code to an agent doesn't mean losing track of what it's supposed to do. That's what we're building Quint Studio for. The beta will be on the hands of our waitlist soon. Don't miss out! bit.ly/4wr3FK9

tally.so

Join the Quint Studio Waitlist

Made with Tally, the simplest way to create forms.

010

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

Coverage and scanners won't tell you. They check the code, not whether the decisions behind your system still hold.

120

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

There's more code and more tests than ever, and somehow it's harder to answer a basic question: what does this actually do?

110

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

The checks you already run catch the obvious problems like a crash or a leak. Nobody has to decide those are bad. Whether your software does what you meant is a judgment call, and only you can make it.

110

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

Thanks for building and sharing, if you built something with Quint this summer tag us, we'd love to see it!

010

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

A special thank you to @mizchi.bsky.social and the wider Japanese community. We are grateful for the attention and excited to see what you all build next.

110

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

gdoteof modeled a job orchestration system and settled open questions about livelocks. github.com/gdoteof/swa...

github.com

GitHub - gdoteof/swarm-spec

Contribute to gdoteof/swarm-spec development by creating an account on GitHub.

100

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

@mizchi.bsky.social found a subtle clock-skew bug in denoland's celld and reported it with a full Quint model and a Rust regression test. zenn.dev/mizchi/arti...

zenn.dev

時相論理の形式仕様の Quint を使って、denoland/celld の二重 writer バグを見つけた

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 · 03/08/2026

This is awesome, thank you for sharing 💜

020

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

Join the growing group of Quint users on Telegram, we'd love to have you. bit.ly/3TkzaHp

010

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

We're also building Quint Studio. The decision layer between generated code and production. Join the waitlist to be the first to know. bit.ly/4wr3FK9

110

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

We've also written deep dives on how Quint is used in practice. Start with Reliable Software in the LLM Era, or see it in action: how OpenHands used Quint to fix a long-standing race condition, among others. bit.ly/4bjpZwV

quint.sh

Quint Blog, specs, bugs, and distributed systems

Deep dives, case studies, and release notes from the Quint team on executable specifications, formal methods, and reliable software in the LLM era.

110

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

If you'd rather start with AI assistance, Quint now ships as agent skills that work with any coding agent, not just Claude Code. gh skill install quint-co/quint --all --pin main Or through the plugin marketplace. /plugin marketplace add quint-co/quint /plugin install quint@quint"

110

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

When you're ready to go deeper, we have a set of lessons that will walk you through the language step by step. From Hello World, to full protocol anatomy. bit.ly/44XzNt0

110

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

We have a great five-minute guide to get started. You'll be able to install Quint, write your first spec, find a violation, and fix it. bit.ly/3S04n29

110

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