AWS Podcast

#750: re:Invent 2025 - Day 3 Wrapup

It is the end of re:Invent! Simon and Jillian share some updates and also take a moment to reflect on 2025.

#749: re:Invent 2025 - Swami Sivasubramanian Keynote

Simon and Jillian catch you up on the highlights from today's keynote PLUS all the "pre:Invent" announcements that took place prior to the event!

#748: re:Invent 2025 - Matt Garman Keynote

In this episode, Matt Garman's 2025 re:Invent keynote unveils exciting AI advancements, including Amazon Nova to Lite, a cost-effective reasoning model, and Amazon Nova 2 Sonic, a new speech-to-text model. The keynote also covers Security, Storage, Compute, Networking, and a whole lot more!

#747: Unpacking Automated Reasoning: From Mathematical Logic to Practical AI Security

Discover how AWS leverages automated reasoning to enhance AI safety, trustworthiness, and decision-making. Byron Cook (Vice President and Distinguished Scientist) explains the evolution of reasoning tools from limited, PhD-driven solutions to scalable, user-friendly systems embedded in everyday business operations. He highlights real-world examples such as mortgage approvals, security policies, and how formal logic and theorem proving are used to verify answers and reduce hallucinations in large language models. This episode delves into the exciting potential of neurosymbolic AI to bridge the gap between complex mathematical logic and practical, accessible AI solutions. Join us for a deep dive into how these innovations are shaping the next era of trustworthy AI, with insights into tackling intractable problems, verifying correctness, and translating complex proofs into natural language for broader use. https://aws.amazon.com/what-is/automated-reasoning/

#746: AWS Regional Planning Tool, MCP Proxy for AWS, and Lots More!!!

There are so many updates this week you might need two cups of coffee! Simon and Jillian guide your way.