Ryan DonovanVerified195 followers
Sep 08, 2026 — Episode notes: This episode with Paypal’s CTO Srini Venkatesan was recorded at the Ai4 conference. Listen to our other Ai4 conversation with Greg Jennings, VP of Engineering for AI Products at Anaconda, about building secure-by-default AI coding agents...
No transcript available.
Sep 04, 2026 — 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...
Sep 01, 2026 — 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...
Aug 28, 2026 — 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...
Aug 25, 2026 — Ryan is joined by Praveen Bodigutla, Principal AI Researcher at LinkedIn, to chat about LinkedIn's cognitive memory agent for agentic personalization.
