iiinova — where your digital self keeps evolving

Reposted by Gabriela Moreira

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

Reposted by Gabriela Moreira

Chad Fowler @chadfowler.com · 28/09/2026

What everyone doing “spec-driven development” is and has always gotten wrong….

3224

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

Help us build this and sorry in advance if we got something wrong!

020

Reposted by Gabriela Moreira

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

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

Read this interview that I typed word by word on my purple keyboard, straight from my brain to your screen :)

001

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

People know that Brazilian people tend to be very warm, but do you know that lots of us sign our emails with: Hugs, Gabriela

160

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

So cool to see the new kinds of Quint success stories appearing organically as the industry changes

010

Reposted by Gabriela Moreira

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

Reposted by Gabriela Moreira

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

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

Quint Studio is now on beta! Yes, it's a desktop app. Yes, it's a graphical interface. It's also an MCP server (which you host locally). It will help you understand how your software behaves, find unexpected behavior, and improve your existing test suite to enforce behavior you care about.

170

Reposted by Gabriela Moreira

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

Agents like to flood. We like to grow.

111

Reposted by Gabriela Moreira

Information and Software Technology Journal @istjrnal.bsky.social · 05/09/2026

Do secondary studies in Software Engineering even contribute to the evolution of knowledge anymore, or are they just surface-level summaries that harvest easy citations while increasing the volume of published research?

113

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

The more we can enjoy making software correct, the more correct software will exist. But if important things keep depending on us reading markdown, I'm afraid of where we are will end up. So I'll fight for fun!

140

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

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

Me: has to work on a marketing video Also me: completely over-engineers the process to minimize boredom. (Script to take footage, python code to render preview video as I add the shots, claude cropping and speeding up parts of the video... All before I send it for editing)

100

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

Reposted by Gabriela Moreira

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

New video on how judgment gets lost as AI writes more of our code, and where Quint comes in. bit.ly/4x3sRpM

youtube.com

AI Made Coding Faster. So Why Are Teams Slower?

AI can write more code in a minute than you could write in a day. S...

011

Gabriela Moreira @bugarela.com · 23/08/2026

Que legal. Não sabia que tinha gravação, obrigada por compartilhar!

031

Gabriela Moreira @bugarela.com · 20/08/2026

I'm so happy to see Quint getting lots of attention from the Japanese community 💜 This might become a really good excuse to visit Tokyo for the first time 👀

020

Reposted by Gabriela Moreira

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

Gabriela Moreira @bugarela.com · 08/08/2026

I don't know how people manage multiple agents working on the same repo at the same time with git. I've been using @jj-vcs.dev and it feels really great, but just imagining the equivalent in git gives me a headache. Maybe people just let the agents handle git? I like being in control of my VCS.

000

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

For some reason, specifically on Friday afternoons, I like to work listening to Brazilian music, mostly on speakers (which I don't do often). Might be something about convincing my brain that the week is ending.

010

Gabriela Moreira @bugarela.com · 06/08/2026

Testing in the age of AI feels like

- assert!(block.contains("most realistic"), "{block}");
+ assert!(block.contains("MOST REALISTIC path"), "{block}");

010

Reposted by Gabriela Moreira

Gabriel @thegabriel.eu · 03/08/2026

Check out my new article "Post Imperative Coding: Executable Specs". #offprint gm0stache.offprint.app/a/3ms4afytfn... #quint #programming

gm0stache.offprint.app

Post Imperative Coding: Executable Specs

How software engineering moves towards specification and validation.

231

Reposted by Gabriela Moreira

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

Reposted by Gabriela Moreira

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

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

Maybe we gotta spend some company money and get an octopus to each member of the team 🤔

030

Reposted by Gabriela Moreira

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

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

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

I think pets invading videos should always be clipped!

0110

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

I was a guest on another podcast talking about formal methods 💜

070

Reposted by Gabriela Moreira

Zicklag @zicklag.dev · 08/07/2026

Hey folks I'm looking for some work! Contracting jobs related to ATProto would be a great fit if anybody needs any help along those lines. I'm very good at Rust, I use a lot of TypeScript, and I'm in deep on the Atmosphere. I'm also used to just figuring out whatever I need to. 😁

05815

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

I really like @slack.com's new feature of link pretty-printing where they strip https:// from pasted links. Such a small thing that actually made me smile a few times this week. Kudos to who had the idea!

000

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

New Quint blog! It was very cool when Ray Myers and Ai Vong came to us saying they used Quint to reason about an annoying race condition in Kubernetes. (+) quint.sh/posts/raceco...

quint.sh

It Told Me No: How Quint Helped Us Fix a Long-Standing Race Condition

Quint - Executable specs for reliable systems

100

Reposted by Gabriela Moreira

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

Reposted by Gabriela Moreira

Vitalik Buterin @vitalik.ca · 02/07/2026

"Pokemon" is short for "pocket monsters". "Digimon" is short for "digital monsters". Therefore, "salmon" is short for "saltwater monsters". (You might object: salmon spend a big part of their life in freshwater. But pokemon spend a big part of their life outside pockets too!)

3431031108

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

We spent some time polishing and testing those agent-loved markdown files for y'all and we have new skills to share ✨

020

Reposted by Gabriela Moreira

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

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

141

Reposted by Gabriela Moreira

Adolfo Neto @adolfoneto.elixiremfoco.com · 26/06/2026

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

youtube.com

DevNTell - Quint Co: The Executable Spec Language Made For The AI Era

YouTube video by Developer DAO

021

Reposted by Gabriela Moreira

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

Reposted by Gabriela Moreira

lynn @chordbug.bsky.social · 24/06/2026

fixed your headline

A hit song on the Billboard 100 charts is termed *$k$-good* if it is _ever_ in a weekly top-$k$, and *$k$-immediate* if it _debuts_ in the top-$k$.

An artist is *$(n,k)$-Olivian* if their $n$ first $k$-good hits are all also $k$-immediate.

*Headline 1.* Olivia Rodrigo is the first $(10,10)$-Olivian woman.

392042559

Reposted by Gabriela Moreira

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

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

GitHub - informalsystems/quint-balancer-v2-rounding-bug: Minimal Quint model of Balancer V2 to reproduce the rounding bug

Minimal Quint model of Balancer V2 to reproduce the rounding bug - informalsystems/quint-balancer-v2-rounding-bug

121

Reposted by Gabriela Moreira

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

Reposted by Gabriela Moreira

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

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

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.

180

Reposted by Gabriela Moreira

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

New Quint emote just dropped 👀

051

Reposted by Gabriela Moreira

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