Posts

AI-Native Organisations Run on Skills: How to Structure and Scale Them — Imad Touil, QuantumBlack

AI-Native Organisations Run on Skills: How to Structure and Scale Them — Imad Touil, QuantumBlack

Imad Touil explores the critical need for governing AI skills within organizations, asserting that skills represent the true repository of enterprise know-how. He contrasts simplified coding agent loops with complex, real-world product lifecycles, demonstrating how ungoverned skills lead to technical debt—including duplication, quality degradation, security risks, and lack of discoverability. Proposing a microservices-inspired approach, Touil outlines a centralized skills platform and human-led governance model essential for achieving deterministic workflows, boosting productivity, and mitigating risks in AI-native enterprises.

Your Code Has Bugs. Lean4 Has Proofs: Formal Verification for Engineers — Varun Pant, AWS

Your Code Has Bugs. Lean4 Has Proofs: Formal Verification for Engineers — Varun Pant, AWS

Varun Pant introduces formal verification as the solution to reliably validate AI-generated code, proposing a division where humans define specifications and machines handle code and proof. He details Lean's role as a unified language for code and proof, exemplified by an AI rewriting zlib with 32,000 lines of proof, and AWS's Cedar using Lean specs with Rust production code reconciled by 100 million nightly tests. The talk also covers deductive verification with solvers and future cross-language verification with Strata, aiming for "provably correct" software.

How to Get Your Org to Adopt Coding Agents (Without Shipping Garbage) — Eyal Blum, Figma

How to Get Your Org to Adopt Coding Agents (Without Shipping Garbage) — Eyal Blum, Figma

Figma's internal AI agent adoption journey faces challenges like reduced developer agency, skepticism from senior engineers, and communication inefficiency. Solutions include investing in verification, using a testing pyramid for agent review, prioritizing detailed planning over prompting, engaging skeptics to build AI safety roadmaps, and implementing attention-aware communication by clearly marking AI-generated content.

From AI-Assisted to AI-Native: Building a Frontier Development Team — Clare Liguori, AWS

From AI-Assisted to AI-Native: Building a Frontier Development Team — Clare Liguori, AWS

Clare Liguori, a Senior Principal Engineer at AWS, reveals how Amazon teams are achieving 4.5x to 10x productivity gains through 'frontier development' with AI coding assistants like Kuro. She emphasizes that success isn't about the tools, but about fundamentally changing how engineers work, outlining five core habits: investing in agent context, embracing an initial slowdown for long-term speedup, feeding agents comprehensive instructions instead of micromanaging, making design intent explicit before coding, and shifting left with local, deterministic testing. Liguori also addresses new challenges like burnout and decision-making becoming the primary bottleneck in highly accelerated development cycles.

AI Evals for Cross-Functional Teams — Nachiket Paranjape & Swaroop Chitlur Haridas, DoorDash

AI Evals for Cross-Functional Teams — Nachiket Paranjape & Swaroop Chitlur Haridas, DoorDash

DoorDash's GenAI platform team transformed evaluation from an engineering-centric task into a cross-functional workflow. By adopting an API-first strategy, they empowered non-engineers like Strategy & Operations to "vibe code" their own annotation UIs using coding agents and self-serve calibrate LLM judge prompts. This approach dramatically reduced annotation costs, accelerated iteration, and fostered broader organizational ownership of AI quality.

Building uReview, Uber’s Multi-Agent Code Review Engine — Will Bond & Ameya Ketkar, Uber

Building uReview, Uber’s Multi-Agent Code Review Engine — Will Bond & Ameya Ketkar, Uber

Uber's Will Bond and Ameya Ketkar present uReview, an in-house automated code review system developed to combat rising review times (3 to 9 hours for first review). They detail why Uber built it over buying—due to Phabricator, agentic SDLC integration, and distributed ownership—and its architecture, including comment deduplication. The presentation highlights their iterative approach using advanced observability (sentiment, addressal rate, agent trajectory) to tune model performance, acknowledging that "the model never knows that it is wrong." They discuss empowering hundreds of teams with custom review agents and skills, sharing impressive results: 25,000 comments weekly, 67% addressal rate, and 60% cost reduction. Finally, they explore the evolving role of human engineers in an agentic SDLC, predicting an "expanded outer loop" focused on architecture and domain expertise rather than direct code review.