• #751: Werner Vogels’ Tech Predictions for 2026 and Beyond...
    Jan 12 2026
    For the past 6 years, Werner has published his annual tech predictions, where he’s covered everything from sports and simulation, to smart energy innovation and quantum to AI-supported software development, even the role companies will play in educating the next generation of engineers. I sat with Werner to discuss why he makes predictions and what he sees coming in 2026 and beyond. You’re in for a treat. Read the full predictions on www.allthingsdistributed.com .
    Mehr anzeigen Weniger anzeigen
    31 Min.
  • #750: re:Invent 2025 - Day 3 Wrapup
    Dec 4 2025
    It is the end of re:Invent! Simon and Jillian share some updates and also take a moment to reflect on 2025.
    Mehr anzeigen Weniger anzeigen
    23 Min.
  • #749: re:Invent 2025 - Swami Sivasubramanian Keynote
    Dec 4 2025
    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!
    Mehr anzeigen Weniger anzeigen
    27 Min.
  • #748: re:Invent 2025 - Matt Garman Keynote
    Dec 3 2025
    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!
    Mehr anzeigen Weniger anzeigen
    39 Min.
  • #747: Unpacking Automated Reasoning: From Mathematical Logic to Practical AI Security
    Nov 24 2025
    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/
    Mehr anzeigen Weniger anzeigen
    38 Min.
  • #746: AWS Regional Planning Tool, MCP Proxy for AWS, and Lots More!!!
    Nov 17 2025
    There are so many updates this week you might need two cups of coffee! Simon and Jillian guide your way.
    Mehr anzeigen Weniger anzeigen
    30 Min.
  • #745: Accelerating Cloud Migration: How Occidental Petroleum Transformed with Terraform and AFT
    Nov 10 2025
    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.
    Mehr anzeigen Weniger anzeigen
    20 Min.
  • #744: Amazon Bedrock AgentCore, Amazon EC2 Capacity Manager, and so much more!
    Nov 3 2025
    Simon and Jillian walk you through all the new and interesting updates.
    Mehr anzeigen Weniger anzeigen
    32 Min.