The Stack Overflow Podcast

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 open-source, executable specification language and toolchain based on TLA+ that enables engineers to model, simulate, and verify system behaviors using an intuitive, programmer-friendly syntax.
Connect with Gabriela on LinkedIn and X.
Congrats to Populist badge winner Alex K. for winning the badge on their answer to SQL Server: Select Top 0?.
See Privacy Policy at https://art19.com/privacy and California Privacy Notice at https://art19.com/privacy#do-not-sell-my-info.

Ryan sits down with Josh Triplett, member of the Rust Leadership Team at the Rust Project, to chat about how the borrow checker delivers compile-time memory safety without garbage collection overhead, why Rust consistently ranks as developers' most loved language by providing psychological safety for complex systems, and how strict compiler constraints make Rust an ideal target for AI coding agents.
Episode notes:
Rust is an open-source systems programming language focused on performance, type safety, and compile-time memory safety without the runtime overhead of garbage collection.
Connect with Josh on his website, on LinkedIn, or chat with him on the Rust Zulip.
Congrats to Great Answer badge winner Germa Vinsmoke for winning the badge on their answer to Can I access variables from another file?.
See Privacy Policy at https://art19.com/privacy and California Privacy Notice at https://art19.com/privacy#do-not-sell-my-info.

Ryan is joined by Yanbing Li, Chief Product Officer at Datadog, to talk about applying observability to non-deterministic AI agents, blurring the boundaries between software development and production workflows, and navigating emerging challenges in AI security and tokenomics.
Episode notes:
Datadog is an observability and security platform for cloud applications, providing real-time monitoring for infrastructure, distributed systems, and AI agent behavior.
Connect with Yanbing on LinkedIn and learn more on the Datadog website.
Congrats to Great Answer badge winner insertusernamehere for winning the badge on their answer to How can I get a character array from a string?.
See Privacy Policy at https://art19.com/privacy and California Privacy Notice at https://art19.com/privacy#do-not-sell-my-info.

Ryan chats with Erin Yepis, Senior Analyst at Stack Overflow, about the results from this year’s Annual Developer Survey, including the overwhelming daily usage of AI coding assistants despite lingering developer trust issues, the critical role of well-organized documentation in providing verifiable context to mitigate AI hallucinations, and the evolving ways developers are shifting away from active community posting in favor of passive knowledge consumption.
Episode notes:
Check out the full 2026 Developer Survey results.
Connect with Erin on LinkedIn and read her past articles on the Stack Overflow blog.
Congrats to Stellar Question badge winner Franck Freiburger for winning the badge on their question Biggest integer that can be stored in a double.
See Privacy Policy at https://art19.com/privacy and California Privacy Notice at https://art19.com/privacy#do-not-sell-my-info.

Ryan chats with Julien Verlaguet, CEO at Skip Labs, about finding the balance between human tolerance and tooling constraints, the spectrum of typed programming languages, and building cost-effective tooling for AI agents.
Episode notes:
Skip Labs develops a programming language designed for reactive programming alongside specialized constraint-based tooling for AI agents.
Connect with Julien Verlaguet on LinkedIn.
Congrats to Populist badge winner s0nix for winning the badge on their answer to Git through Visual Studio Code is unusably slow.
See Privacy Policy at https://art19.com/privacy and California Privacy Notice at https://art19.com/privacy#do-not-sell-my-info.