In this episode of the a16z AI podcast, a16z Infra partners Guido Appenzeller, Matt Bornstein, and Yoko Li explore how generative AI is reshaping software development. From its potential as a new high-level programming abstraction to its current practical impacts, they discuss whether AI coding tools will redefine what it means to be a developer. Why has coding emerged as one of AI's most powerful use cases? How much can AI truly boost developer productivity, and will it fundamentally change traditional computer science education? Guido, Yoko, and Matt dive deep into these questions, addressing the dynamics of "vibe coding," the enduring role of formal programming languages, and the critical challenge of managing non-deterministic behavior in AI-driven applications. Among other things, they discuss: - The enormous market potential of AI-generated code, projected to deliver trillions in productivity gains. - How "prompt-based programming" is evolving from Stack Overflow replacements into sophisticated development assistants. - Why formal languages like Python and Java are here to stay, even as natural language interactions become common. - The shifting landscape of programming education, and why understanding foundational abstractions remains essential. - The unique complexities of integrating AI into enterprise software, from managing uncertainty to ensuring reliability. 00:00:39 - Who’s Coding Now? / Why is coding such a big use case? 00:05:41 - How has AI already changed software development? 00:13:05 - Vibe Coding vs. ‘Serious’ Engineering 00:17:30 - Vibe Coding and the future of Computer Science Education 00:23:15 - How does Vibe Coding affect programming languages? 00:35:07 - Adjusting to non-deterministic outputs 00:38:43 - Are prompts the narrow waist of AI programming? 00:42:22 - The nexus of Vibe Coding and enterprise programming