organizing a Formal Verification conference in early December in Florianópolis (BR) I already have a few speakers in mind that I intend to invite, but please hit me up if that's something you'd like to attend/speak at also, looking for sponsors 👀

I’ve been following Informal Systems for a while, and I think their work deserves more attention. The company was started by Ethan Buchman (🐝,🦇) , who also co-founded Cosmos and helped design Tendermint. From the start, his focus has been on building technology that’s safe, reliable, and

After years being familiar with TLA+ and alloy Quint is just the tool I was looking for. Simple, straight, efficient.

Yes. I'd say formal specification instead. AI is creating a problem we already have the solution for: get people to think about the systems they are building. Not writing thousands of lines of code or losing their minds over proofs. Just thinking about problems and solutions.

Evgeniy Danilenko Quint is super cool and useful product. I have used it to understand various consensus

Very happy to see this fixed! Thank you [email protected] | (spec|ver)ification | security !

Preparing for DevConnect so I (hopefully) don't sound too much like I spend all my days locked in a room just building. You can catch my talks at Defi Security Summit and W3ST. If you meet me and tell me you know Quint, I'll give you a sticker😎

Our lead developer on Quint, Gabriela Moreira | Devconnect 🇦🇷, is headed to Devconnect ARG - the first Ethereum World’s Fair, Defi Security Summit & W3ST. Drop a comment if you'll be there and want to connect. We will save a Quint sticker for you 💜

Unexpected finding: using jujutsu for version control is very convenient if you are letting agents commit for you. The agent keeps running and committing while you move jujutsu bookmarks around and push them without changing the git HEAD. Plus: snapshots.

Practicing my business card hand-off to make sure I'm ready for Devconnect ARG - the first Ethereum World’s Fair I feel like this contact might be a great partnership 🐈

Leaving today for Argentina 🇦🇷 If you see me, come say hi!

Y acá estoy 🇦🇷