The Stack Overflow Podcast

Ryan chats with Greg Jennings, VP of Engineering for AI Products at Anaconda, about what it takes to build a secure-by-default AI coding agent, why prompts shouldn't be treated as strict security guardrails, and how Anaconda is using strategic acquisitions to secure the AI software supply chain.
Episode notes:
Anaconda is a foundational platform for Python data science and machine learning, providing secure software supply chain governance and enterprise AI infrastructure.
Connect with Greg on LinkedIn and X.
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 Tim Lindholm, an early contributor to the Java language at Sun Microsystems, to chat about what it was like building one of the most popular programming languages ever at its inception, why it was strategically important for the Java team to create a cross-platform ABI to compete with Windows NT, and how applets were initially just an interesting demo.
Episode notes:
Watch the new documentary by Cult.Repo on YouTube to learn more about the early history of Java and the people who built it.
Connect with Tim Lindholm on LinkedIn.
Shoutout to user gabuzo for winning a Populist badge for answering What is the standard method for generating a nonce in Python?.
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 Leo de Moura, Senior Principal Applied Scientist at AWS and the creator of the Lean language, about proving correctness in AI agents with the Lean language, how automated reasoning complements probabilistic AI models, and the use of AI for continuous code optimization.
Episode notes:
Lean is a functional programming language and proof assistant that allows developers to write programs and verify their mathematical correctness within the exact same system.
Connect with Leo on LinkedIn and check out his many badges on Stack Overflow.
Congrats to Populist badge winner Peter Lawrey for winning the badge on their answer to Check two float/double values for exact equality.
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 Praveen Bodigutla, Principal AI Researcher at LinkedIn, to chat about the four-layer memory system his team built to give LinkedIn's hiring assistant a persistent, personalized state. Praveen explains why his team moved off GraphRAG in favor of a tree-structured memory for faster incremental updates and how they balance retrieval freshness, latency budgets, and access control at LinkedIn's scale.
Connect with Praveen on LinkedIn.
Congrats to Populist badge winner Luka Ganić, who answered SVG image as button in Flutter so well it outscored the accepted answer!
See Privacy Policy at https://art19.com/privacy and California Privacy Notice at https://art19.com/privacy#do-not-sell-my-info.

See Privacy Policy at https://art19.com/privacy and California Privacy Notice at https://art19.com/privacy#do-not-sell-my-info.