Pinned Tweet
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
Waitlist link below
5
5
59
5,429
I like where we are going!
Introducing Lasm: Lean for JavaScript and WebAssembly runtimes
Lasm let's you build formally verified Lean apps that run on Node.js servers, serverless, and edge platforms, as well as in the browser
Formal verification is now possible everywhere that JS and Wasm run...go crazy!
Link to the GitHub repo below.
0
0
5
243
Gabriela Moreira retweeted
In case you missed it, @bugarela joined @thegeeknarrator to get into a question that keeps coming up. Can we actually trust the code AI writes?
Full conversation below ↓
Full conversation below ↓
1
2
7
368
Just did something very cool: cut a release from Quint that is made of more external contributions than commits from our team.
Yes, in the age of AI slop PRs.
As any other sufficiently big opensource project, we struggled with those PRs since last year. But things seem to be better now. The PRs are often scoped to solve one specific issue that the person behind is was actually struggling with, and it's quite easy to validate and merge.
This feels great! Thank you for all contributions (and stars ⭐️) to the Quint repo 💜
Yes, in the age of AI slop PRs.
As any other sufficiently big opensource project, we struggled with those PRs since last year. But things seem to be better now. The PRs are often scoped to solve one specific issue that the person behind is was actually struggling with, and it's quite easy to validate and merge.
This feels great! Thank you for all contributions (and stars ⭐️) to the Quint repo 💜
1
2
22
619
I just migrated from a custom todo framework built around org-agenda to Todoist.
It's easier than ever to build a custom solution exactly how I would want it.
But the decision load of a normal work day is so high I actually *don't* want to decide how I want it. I want someone else to decide for me.
And that someone else should be a human, ideally a group of humans who have spent time figuring out good decisions.
Decision load might be the main factor leading to SaaS adoption :)
It's easier than ever to build a custom solution exactly how I would want it.
But the decision load of a normal work day is so high I actually *don't* want to decide how I want it. I want someone else to decide for me.
And that someone else should be a human, ideally a group of humans who have spent time figuring out good decisions.
Decision load might be the main factor leading to SaaS adoption :)
3
2
16
691
Claude Code web picks some fun names for the branches it creates.
If you watched any of the podcasts I have recorded, you might have noticed this is the vibe I'm going for 😅
If you watched any of the podcasts I have recorded, you might have noticed this is the vibe I'm going for 😅
4
0
13
612
Gabriela Moreira retweeted
My view, which I've publicly held for a long time, is that nobody actually wants to do proofs about their programs (except a tiny but vocal minority). People instead want *confidence* in their programs. Finally, we can focus on the human factors we've neglected all along.
One heartening thing about the @AnthropicAI + @theoremlabs verification work: almost every PL researcher on my feed is excited about the future and seeing years of research put to use. Quite a contrast to the “AI is taking our jobs” mood I’ve seen in other communities.
12
27
254
7,238
Gabriela Moreira retweeted
While we are fully focused on making the human-centered benefits of formal specifications part of every team, it's great to see these kinds of advancements in hardcore formal verification. By advancing both sides, the world can have more trust in more software.
New on our Frontier Red Team blog: using Claude to formally verify software at large scale.
Formal verification can prove that code is free of certain bugs, but historically it has only been feasible for small codebases (or required a lot of expert time).
With AI models, however, this is beginning to change. In collaboration with @theoremlabs, we used Claude to prove security properties in over one hundred real-world open-source libraries over the span of a few weeks.
Read our research in full here: anthropic.com/research/forma…
1
2
20
763
I was on the Stack Overflow Podcast talking about TLA+ and Quint! Check it out 👇
🎙️ We're joined by Gabriela Moreira @bugarela, CEO at @quint_lang, about why formal specification languages like TLA+ are essential for catching system design flaws before writing code, how Quint brings developer-friendly syntax and executability to formal methods, and the ways del-based testing can verify AI-generated code against real-world production data.
stackoverflow.blog/2026/10/16/for…
1
6
25
845
Which todo app are people using these days? I have to either spend some time automating stuff around org-mode or migrating to some app.
I'm thinking ticktick seems like a nice option, starting to experiment with it.
Any tips and pointers?
I'm thinking ticktick seems like a nice option, starting to experiment with it.
Any tips and pointers?
4
1
2
434
Gabriela Moreira retweeted
"(We) are looking for components. And what are components? State machines." -- @bugarela
0
1
2
77
Gabriela Moreira retweeted
Leslie Lamport asks, “Who builds a house without drawing blueprints?” We ask, “Who chews a tree without listening for cracks?”
0
3
23
481
RT @gf53417: . @bugarela 's interview (youtube.com/watch?v=j-j6aG…) on @quint_lang . She's spot on addressing the issue of testing. With AI th…
0
1
0
6
Gabriela Moreira retweeted
I wrote a post about the strange grief I'm feeling as LLMs take over more and more of parts of my job that used to evoke joy. My builder self is more excited than ever, and yet ...
erikapullum.com/blog/goodbye-t…
erikapullum.com/blog/goodbye-t…
2
5
30
1,345
