20:57 Agents & Automation13 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 821 views
10:07 Foundation Models13 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