
Can We Trust AI-Written Code?
AI can write code and generate tests. What gives engineers a reason to trust the result?Kaivalya Apte joins Gabriela Moreira for a conversation about software correctness, executable specifications, and the behaviors that tests miss. They explore why a model is more than a smaller version of your code, how to connect specifications to real tests, and why understanding is central to confidence.In this episode:• What “correct” means beyond type safety• How to evaluate a specification written by an AI agent• Modeling failures, concurrency, and the surrounding environment• Quint’s path from specification language to developer tooling• Finding gaps in test coverage through behaviors• Keeping specifications and code aligned in CI• Lessons from real-world Quint use cases, as described by GabrielaGuest: Gabriela MoreiraHost: Kaivalya ApteRecorded: September 11, 2026Product availability and beta references reflect the recording date.Chapters:00:00:00 Introduction00:01:35 AI, correctness & the human in the loop00:03:24 What does “correct” actually mean?00:07:36 Who checks an AI-written specification?00:13:43 Complexity, failures & the real world00:19:26 What belongs in a model?00:25:16 Why Quint exists00:32:51 Can we trust our tests?00:35:32 Keeping code & specifications in sync00:41:14 Behaviours as paths through a state machine00:47:07 Confidence through understanding00:53:04 Quint in practice00:58:53 Where to go nextCase Studies:Turso: https://turso.tech/blog/how-we-used-quint-to-find-over-10-bugs-in-sqliteOpenhands: https://quint.sh/posts/raceconditionQuint:Website: https://quint.sh/X: https://x.com/quint_langBluesky: https://bsky.app/profile/quint-lang.orgLinkedin: https://www.linkedin.com/company/quint-coGithub: https://github.com/quint-co/quintAgent Skills for Quint:https://github.com/quint-co/quint/tree/main/skillsJoin the Beta: https://tally.so/r/81PQyOGabriela:X: https://x.com/bugarelaLinkedin: https://br.linkedin.com/in/bugarelaBluesky: https://bsky.app/profile/bugarela.comFor memberships: join this channel as a member here:https://www.youtube.com/channel/UC_mGuY4g0mggeUGM6V1osdA/joinDon't forget to like, share, and subscribe for more insights!=============================================================================Like building stuff? Try out CodeCrafters and build amazing real world systems like Redis, Kafka, Sqlite. Use the link below to signup and get 40% off on paid subscription.https://app.codecrafters.io/join?via=geeknarrator=============================================================================Database internals series: https://youtu.be/yV_Zp0Mi3xsPopular playlists:Realtime streaming systems: https://www.youtube.com/playlist?list=PLL7QpTxsA4se-mAKKoVOs3VcaP71X_LA-Software Engineering: https://www.youtube.com/playlist?list=PLL7QpTxsA4sf6By03bot5BhKoMgxDUU17Distributed systems and databases: https://www.youtube.com/playlist?list=PLL7QpTxsA4sfLDUnjBJXJGFhhz94jDd_dModern databases: https://www.youtube.com/playlist?list=PLL7QpTxsA4scSeZAsCUXijtnfW5ARlrsNStay Curios! Keep Learning!