20:57 Agents & Automation14 hours ago From AI-Assisted to AI-Native: Building a Frontier Development Team — Clare Liguori, AWS Clare Liguori, senior principal engineer at AWS, presents a data-backed case for what Amazon internally calls "frontier development"... 0 comments 822 views
10:07 Foundation Models14 hours ago Your Code Has Bugs. Lean4 Has Proofs: Formal Verification for Engineers — Varun Pant, AWS Varun Pant, an AWS engineer leading formal verification teams, makes the case that as AI coding agents generate hundreds of thousands... 0 comments 3.5K views