Skip to content
HomeVideosBooksBlogsPodcasts
EpisodesShowsTopics
HistoryListsWatch laterLiked videosFollowing

The videos, books, blogs and podcasts Hacker News keeps recommending, all in one place.

VideosBooksBlogsPodcastsAboutPrivacySettings

Data from Hacker News, HackerTube, HackerBooks, HackerBlogs and Open Library. Credits · Not affiliated with Y Combinator.

HomeVideosBooksBlogsPodcasts
Ctrl K
    Artwork for The Stack Overflow Podcast
    Episode

    AI says you’re right, formal methods say you’re wrong

    The Stack Overflow Podcast · Oct 16, 2026 · 29 min

    Ryan is joined by Gabriela Moreira, CEO at Quint, about why formal specification languages like TLA+ are essential for catching system design flaws before writing code, how Quint brings developer-friendly syntax and executability to formal methods, and the ways trace validation and model-based testing can verify AI-generated code against real-world production data. Episode notes: Quint is an…

    Related

    • Building an AI Mathematician with Carina Hong - #754

      The TWIML AI Podcast (formerly This Week in Machine Learning & Artificial Intelligence) • Nov 4, 2025 • 56 min

    • Why Jev Is Changing How We Build With AI with Diogo Almeida - #779

      The TWIML AI Podcast (formerly This Week in Machine Learning & Artificial Intelligence) • Oct 6, 2026 • 1 h 30 min

    • How to Engineer AI Inference Systems with Philip Kiely - #766

      The TWIML AI Podcast (formerly This Week in Machine Learning & Artificial Intelligence) • Apr 30, 2026 • 55 min

    • Do AI Tokenomics Matter More Than Model Benchmarks? with Chris Potts - #776

      The TWIML AI Podcast (formerly This Week in Machine Learning & Artificial Intelligence) • Sep 9, 2026 • 59 min

    • ML Models for Safety-Critical Systems with Lucas García - #705

      The TWIML AI Podcast (formerly This Week in Machine Learning & Artificial Intelligence) • Oct 14, 2024 • 1 h 16 min

    • The Evolution of Reasoning in Small Language Models with Yejin Choi - #761

      The TWIML AI Podcast (formerly This Week in Machine Learning & Artificial Intelligence) • Jan 29, 2026 • 1 h 06 min

    • How Capital One Delivers Multi-Agent Systems with Rashmi Shetty - #765

      The TWIML AI Podcast (formerly This Week in Machine Learning & Artificial Intelligence) • Apr 16, 2026 • 54 min

    • Agent Swarms and Knowledge Graphs for Autonomous Software Development with Siddhant Pardeshi - #763

      The TWIML AI Podcast (formerly This Week in Machine Learning & Artificial Intelligence) • Mar 10, 2026 • 1 h 16 min