EP. 228 - Quint Co: The Executable Spec Language Made For The AI Era

In this episode of DevNTell we are joined by Gabriela Moreira who is the CEO of Quint Co. Quint is a specification language that can be used to describe models and properties inspired by Temporal Logic of Actions enabling you to write precise specs for system behavior.

Viewers of this DevNTell will get to meet Gabriela, learn about the Quint specification language and how you can get started building with it today!

— TIMESTAMPS

(00:00) Intro

(00:24) Meet Gabriella Moreira, CEO Quint Co

(01:13) From TLA+ to Quint

(03:19) Why Web3 Needs Verification

(05:49) Formal Methods 101

(08:43) Model Checking Explained

(12:11) What Quint Does

(16:30) Quint and Testing

(18:59) Quint for AI Workflows

(22:40) LLM Kit and Skills

(23:38) Vibe Coding Risks

(28:38) Quint Studio Roadmap

(32:23) Founder Advice

(35:45) Getting Started with Quint

(37:15) Outro

— GUEST & HOST

🤝 Gabriela Moreira, CEO @ Quint Co - https://x.com/bugarela
🤝 Narb, DevNTell Host @ Developer DAO - https://x.com/narb_s

— RESOURCES

Episode Links

ℹ️ Quint Website - https://quint.sh/
ℹ️ Docs - https://quint.sh/docs/getting-started
ℹ️ GitHub - https://github.com/quint-co/quint
ℹ️ Blog - https://quint.sh/blog
ℹ️ Quint Co X Account - https://x.com/quint_lang

🎙️ Subscribe on Spotify - https://devdao.to/dvt-spotify
🎙️ Subscribe on Apple Podcasts - https://devdao.to/dvt-apple

☁️ Get started with D_D Cloud - https://devdao.to/dd-cloud
🗞️ Subscribe to our Newsletter - https://devdao.to/yt-newsletter
📆 Sign-up for FREE workshops & events - https://devdao.to/yt-events
🤝 Partner with Developer DAO - https://devdao.to/partner-with-us
😎 Follow us on X - https://devdao.to/yt-twitter
🎥 Sign Up to Showcase your Project DevNTell - https://devdao.to/devntell-signup