Gabriela Moreira

Hey mom I'm on stackoverflow

Wrote a new short blog! bugarela.com/writing/huma...

Leslie Lamport asks, “Who builds a house without drawing blueprints?” We ask, “Who chews a tree without listening for cracks?”

More speed, more check marks, more formal verification. None of it matters without understanding. Catch the whole conversation with @bugarela.com on the Type Theory Forall podcast.

I was on the Type Theory Forall podcast! I've been a fan of this one for years and had a really fun time on this one. Check it out: www.youtube.com/watch?v=Sdwj...

🏴‍☠️ Novo patrocinador a bordo: @quint-lang.org ! A Quint é uma linguagem open source de especificação executável. Com ela você descreve o comportamento do sistema e verifica se ele está certo antes que o bug chegue em produção.

I cannot draw, but I have cool illustration ideas and hand them over to people that can actually draw. When I got this one, my heart was warmed 💜 Humans craft and have taste. Robots are tools.

I really enjoyed talking to @robbyonrails.com on @maintainable.fm 💜

I updated my personal website (bugarela.com) today. I have been wondering what kind of blog setting I want for ages, and now I think I have a perfect solution with @leaflet.pub for editing/subscriptions and then rendering the posts from PDS directly on my website with my own styles. Love it!

not only was she one of the first, she is credited for literally coining the phrase "software engineer". photos like these inspired me so much when I was in school!

The beginning of a beautiful journey 💜

I recorded a reaction video for the first time! I had some comments on @raymyers.bsky.social's video and thought recording it was better than writing a wall of text. Hope you like this! Link: www.youtube.com/watch?v=t0VT...

We were surprised today by @raymyers.bsky.social replicating @bcherny.bsky.social's formal methods experiment on the Claude Code Agent SDK using Quint Studio (and surfacing a likely bug along the way)! Full video on Craft vs Cruft ↓

I spent too much time outside the house this weekend and now I need a new weekend to play around with computer stuff like Pi Durable

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 ⭐

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

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

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

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

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

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

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

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 💜

Agents like to flood. We like to grow.

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?

If you missed it, Quint has a Youtube Channel now. bit.ly/4x3sRpM

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!

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)

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

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

I've been excited about leaflets since I first saw one so decided to try this out!

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

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 👀

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:

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.

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.

Testing in the age of AI feels like

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.

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

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

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.

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 💜

I think pets invading videos should always be clipped!