#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/
--------
38:02
--------
38:02
#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.
--------
30:01
--------
30:01
#745: Accelerating Cloud Migration: How Occidental Petroleum Transformed with Terraform and AFT
This episode features a deep dive into Occidental Petroleum’s cloud migration journey, emphasizing automation and scalability. Brian Moore, a Cloud Architect at Occidental Petroleum, discusses how they used Terraform and AFT to streamline account provisioning, manage complex network architectures, and improve operational efficiency. The conversation reveals lessons on organizational change, the importance of source-controlled infrastructure, and how automation tools like Terraform and Control Tower can transform traditional IT workflows into agile, resilient systems.
--------
20:19
--------
20:19
#744: Amazon Bedrock AgentCore, Amazon EC2 Capacity Manager, and so much more!
Simon and Jillian walk you through all the new and interesting updates.
--------
31:36
--------
31:36
#743: The Frugal Architect w/ Werner Vogels: The Ocean Cleanup's mantra: Start simple and iterate relentlessly
When Boyan Slat found more plastic than fish on a dive in Greece, he asked a simple question: "Why can't we just clean this up?" He was 16.
What began as a humble project funded with pocket money has grown into a global initiative, removing millions of pounds of plastic from the world's rivers and oceans in the last decade. But simple questions don't always have simple solutions. As Boyan will tell you, simplicity is hard. Fight the temptation attack the biggest problem first. Relentlessly iterate. And most importantly, let your mission, not the technology, guide your engineering decisions.
Read more from Boyan on thefrugalarchitect.com
The Official AWS Podcast is a podcast for developers and IT professionals looking for the latest news and trends in storage, security, infrastructure, serverless, and more. Join Simon Elisha and Hawn Nguyen-Loughren for regular updates, deep dives, launches, and interviews. Whether you’re training machine learning models, developing open source projects, or building cloud solutions, the Official AWS Podcast has something for you.
Ireland