Formal verification already consumes years of human effort.

In this episode, Lukas Biewald talks with Carina Hong, Founder & CEO of Axiom, about why verification is becoming the real bottleneck in high stakes AI systems.

They discuss how Axiom uses AI to take on the tedious checking that stretches verification cycles across years, starting with formal mathematics and extending to hardware and software.

Carina also explains why Axiom’s approach to auto-formalization mirrors spec driven models like Kiro from AWS.

Connect with us here:

Carina Hong: https://www.linkedin.com/in/carina-hong/

Axiom: https://www.linkedin.com/company/axiommath/

Lukas Biewald: https://www.linkedin.com/in/lbiewald/

Weights & Biases: https://www.linkedin.com/company/wandb/

“I don't worry about being replaced by AI. I worry about being replaced by someone who's really good at using AI.”

Atlassian has 10,000+ engineers currently split-testing the world’s top AI coding tools, from GitHub Copilot and Cursor to Claude Code.

In this episode, Co-Founder & CEO Mike Cannon-Brookes joins Lukas Biewald to share what their data reveals about the world's best AI tools today.

Hear how 24 years of building a tech giant and a massive internal study on AI productivity have shaped Mike's vision for the future of dev jobs.

Connect with us here:

Mike Cannon-Brookes: https://www.linkedin.com/in/mcannonbrookes/?originalSubdomain=au

Atlassian: https://www.linkedin.com/company/atlassian/?viewAsMember=true

Lukas Biewald: https://www.linkedin.com/in/lbiewald/

Weights & Biases: https://www.linkedin.com/company/wandb/

00:00 Trailer

01:08 Introduction

03:11 Connecting Technology and Business Teams

07:22 The Impact of AI on Business Workflows

13:26 Developer Productivity and AI

21:03 Measuring Developer Efficiency

25:41 Future of AI in Development

34:59 Legacy Technology and Code Changes

39:29 AI's Role in Developer Productivity

47:40 AI and Junior Developers

52:30 Product-Led Growth and Business Strategy

01:00:29 Core Metrics for Sustainable Growth

01:06:56 Staying Creative in the Tech Industry

The future of AI training is shaped by one constraint: keeping GPUs fed.

In this episode, Lukas Biewald talks with CoreWeave SVP Corey Sanders about why general-purpose clouds start to break down under large-scale AI workloads.

According to Corey, the industry is shifting toward a "Neo Cloud" model to handle the unique demands of modern models.

They dive into the hardware and software stack required to maximize GPU utilization and achieve high goodput.

Corey’s conclusion is clear: AI demands specialization.

Connect with us here:

Corey Sanders: https://www.linkedin.com/in/corey-sanders-842b72/

CoreWeave: https://www.linkedin.com/company/coreweave/

Lukas Biewald: https://www.linkedin.com/in/lbiewald/

Weights & Biases: https://www.linkedin.com/company/wandb/

(00:00) Trailer

(00:57) Introduction

(02:51) The Evolution of AI Workloads

(06:22) Core Weave's Technological Innovations

(13:58) Customer Engagement and Future Prospects

(28:49) Comparing Cloud Approaches

(33:50) Balancing Executive Roles and Hands-On Projects

(46:44) Product Development and Customer Feedback