Gabriela Moreira

Hi! This is a pinned post inviting you to check out Quint ✨ Quint is an executable specification language based on TLA+, and I have been working on it since 2022. You can use it to define and interact with algorithms/protocols in any abstraction level. quint-lang.org

This interview was really fun to make! Check it out if you want to learn more about me and Quint 💜

Another crash found with quint fixed few hours ago. github.com/sqlite/sqlite/…

zicklag.leaflet.pub/3mk527ng7hs2j : "But for me personally, my entire growth as an engineer has been built on top of doing the things. It's why I have the skills I have today." How come I don't see enough takes like this? Are most people learning by just looking at the docs?

I really love this blogpost from Zicklag! It's amazing how he reached, on his own, many of the same insights we had about @quint_lang. People who think specs can be just markdown files don't understand how valuable the thinking we do while writing code is. #109_0" target="_blank" rel="nofollow noopener">zicklag.leaflet.pub/3mk527ng7hs2j/…

New podcast with @bugarela 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↓

If you missed my talk at BugBash, know that we are working on packaging all ideas I presented there into one system so everyone can use it 💜

Thank you BugBash and thank you @AntithesisHQ Got myself my own bug to take home 🐛

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

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

Gathering statistics from Quint models (using a Quint fork to add support for `q::tap`, similar to clojure's tap> that allow us to send info to any interested listener), similar to what was done in TLA+ at youtube.com/watch?v=cYenTP… \o

@pfeodrippe Very cool, this seems like valuable information to get during executions as opposed to after simulations are done :)

@AdiSeredinschi @quint_lang @informalinc Thank you Adi 💜

@bugarela @quint_lang @informalinc congratulations Gabriela !

I'm happy to announce that @quint_lang is becoming its own company with me as its CEO. I have an incredible team joining me in this new journey as we spin out of @informalinc into Quint Co. Quint remains open source at its core, and I'm confident that the ecosystem we are building around it has the value needed to empower our amazing team to expand and maintain tools we'll all be using more and more. AI code generation has created the opportunity for Quint not only to become sustainable, but to scale at the level we always dreamt of. I've been working hard to decrease cost and increase value of formal specifications for about 8 years, and AI agents have impacted both these factors so incredibly much that I'm now reading about formal methods from new people on social media everyday. And as with every opportunity given to me and Quint this far: I will absolutely take it. Over the past years, Quint became not just a surface syntax for TLA+, but a tool for trust and understanding. Through Quint, I got insights about complex systems in a way I have never experienced before. AI is creating a big trust and understanding gap that I know Quint can fill, not by providing some checkmark, but by being the executable specification language that brings confidence holistically: from the design phase all the way through testing and production. So, CEO, I know. I've internally transitioned into this role a month ago, and I couldn't have predicted how natural it feels. I'm so used to thinking about what is best for Quint and have always taken decisions very seriously, even at times when I was a one-person team. In some ways, it feels like I'm just doing the same things but with a whole lot more help. My vision has been clearer than ever, and I'm getting to exercise it many times a day, every day, across business, marketing, management and technical decisions. By my side, I have people that complement my passion with respectable experience: - @zarinjo, CTO, who provokes way more than I can, opening paths that I never regret pursuing. - @josef_widder, Chief Scientist, the only person that was able to make me love Quint more than I already did, more than once. - @ArianneFlemming, COO, which is one of those rare people that can understand banks, lawyers, technical people, and everything else as far as I'm concerned. She explains everything to us and barely needs any explanation herself. - An extremely talented and fun technical team of real and amazing people. I'm filled with gratitude, but we are far from done, of course. I'm confident and working hard. I'm taking this seriously while also enjoying my dream come true. I thank everyone of you who did anything for Quint in these past four years, and I promise my dedication and passion to everything that awaits us in the future.

@chaaai @quint_lang @informalinc Thank you!!

@bugarela @quint_lang @informalinc This is amazing! Congratulations :) Quint to the moon 🚀 it’s been a delight to work with

@The5thForce0_0 @quint_lang @informalinc Thank you!

@bugarela @quint_lang @informalinc Awesome news! Congratulations!

@zooko @quint_lang @informalinc Thank you 💜💜💜

@bugarela @quint_lang @informalinc Congratulations! I hope it works really well!!

@alexanderlhicks @zarinjo @quint_lang @informalinc Thank you!

@bugarela @zarinjo @quint_lang @informalinc Contrats !

@btruax @buchmanster @informalinc Thank you Brian 💜💜💜

@buchmanster @informalinc Congrats to you @bugarela 💜💜💜

We're resetting Informal to focus on the highest impact opportunities in front of us. Today we’re announcing the new @informalinc, a more focused and refined Informal, with two big bets, one in software, one in money. We started Informal with a simple mission: to foster trust in software and money. We pursued that mission through a variety of means: research, engineering, audits, staking, cross-chain relaying, and various incubated projects. Our technology helped move ecosystems forward. But through all that we lost focus, spread ourselves too thin. While we felt everything we did was valuable, it was too much. So we have decided to simplify. Our two big bets aren’t new. In fact we’ve been betting on them for years already. It’s just that now they are our exclusive focus. The first is @quint_lang, a big bet on transforming how we approach and trust software. AI has already dramatically reshaped the cost of producing code, but now the problem becomes validating it. How do we know the code is correct? How do we express ourselves and our intent in a way that can be reliably iterated on with machines and can produce correct outcomes? How do we reason about and test our systems in this new AI-based world? Quint is our answer. A way to formally specify systems so humans and machines can reason about them together. It’s not about replacing developers, it’s about making intent explicit. Today we’re announcing the launch of Quint as its own company, with @bugarela as CEO, and an incredible team from Informal joining her. Follow her! And learn more about the team and what they're working on: x.com/bugarela/statu… The second is @cyclesmoney, a big bet on transforming how we approach and trust money. We’ve been pioneers in the cryptocurrency space for a decade, but something is still missing in how we think about money. Everyone is so focused on moving assets faster and faster that they miss the underlying reason we need to move those assets in the first place - the debts we have with each other. Cycles is built on the insight that we need to start from the debts. That the debts form a network, and liquidity is hidden in the structure of the network. That the debts can be *cleared*, with less money than you think. That clearing is the most powerful financial capability in the world and it’s available exclusively to the largest financial institutions, or to small groups of friends splitting expenses. Cycles brings that power to everyone else, to do more with less, to save liquidity, to access new avenues for growth. To trust in the graph. Cycles changes the perspective from a bilateral, transactional view to a multilateral, network view. The world is not a multi-asset spot market, it’s a network of balance sheets. Respect the Graph. Our goal with Cycles is to clear the most debt, for the most people, with the least amount of money. We’re starting with large crypto trading firms settling T+1 that want to save liquidity, and with small crypto-businesses that want privacy for their payments. If you want private payments with great UX and yield (thank you @hydromarkets!), follow @cyclesmoney and msg us or join our TG to try the beta t.me/cycles_communi… With this refocus on Quint and Cycles, we’re winding down other parts of the business that don’t align. That means services we’re proud of and people we deeply respect, and have worked passionately with for years. Saying goodbye to people is always difficult, and we’re so grateful for everything they’ve done for Informal over the years. We’ve had the privilege of working with such incredible talent, and we’re sad to see them go. We wish them nothing but the best in future endeavours. Through all of this, I’m beyond grateful for my two partners and co-founders at @informalinc, @ArianneFlemming and @zarinjo. We’re ready to take on this next chapter together with renewed focus. They are rock-stars. They have made it possible for us to get here, to make Quint and Cycles happen, and to grow them into generational bets. While they will primarily focus on Quint for now, they continue to support me on Cycles. For @informalinc, we're incredibly excited to be able to focus on the highest impact outcomes we think we can tackle. And we’re bringing on new partners and investors that believe in what we’re doing. As for me, I’m all in on @cyclesmoney with our amazing team because I believe in the power of clearing and I want to make it accessible to all. The crypto revolution is far from over. I spent 10 years transforming how the world thinks about blockchains. And I’ll spend the next 10 years doing the same for clearing. Back to startup mode ✌️

Exciting to see @bugarela and @quint_lang take this step! I've been following Quint for some time. Especially interested to see how formal spec languages factor into safe generative AI for software.

@el_yawd @quint_lang @informalinc Orbigadaa

@bugarela @quint_lang @informalinc Incrível!!! Parabéns!

@Keleesssss @quint_lang @informalinc Thank you!!

@bugarela @quint_lang @informalinc Congratz!