Verification

AI Won't Take Your Job—It Will Make You the CEO | The a16z Show

AI Won't Take Your Job—It Will Make You the CEO | The a16z Show

Balaji Srinivasan discusses the paradoxical nature of AI, which lowers creation costs while simultaneously raising verification costs. He argues this tension pushes society toward a "trusted tribe" model, similar to the Chinese internet, where AI excels within high-trust groups but struggles between them. The conversation covers why physical tasks are easier to automate than digital ones, how AI makes everyone a CEO rather than obsolete, and why crypto, particularly Zcash, serves as a necessary counterbalance for inter-tribe transactions in an AI-driven world.

Physics Gets a Vote: Nominal Cofounders on Hardware Development in an AI World

Physics Gets a Vote: Nominal Cofounders on Hardware Development in an AI World

Nominal's co-founders discuss the new age of reindustrialization and the critical need for a modern data infrastructure in hardware engineering. They explain how their platform acts as a 'GitHub for hardware data,' providing a system of record for testing that bridges the gap between simulation and reality, and serves as the essential verification layer for the future of 'Physical AI'.

Making Codebases Agent Ready – Eno Reyes, Factory AI

Making Codebases Agent Ready – Eno Reyes, Factory AI

The effectiveness of AI coding agents is not limited by model quality, but by "Agent Readiness"—the state of your development environment. This talk explains why agents fail on codebases with flaky tests, low validation, and tribal knowledge. It introduces a framework for improving your environment's readiness through rigorous verification, automated validation, and a shift to specification-driven development, arguing this is the key to unlocking 5-7x productivity gains and enabling true software engineering autonomy.

AI Coding Agents Change Software Development Forever

AI Coding Agents Change Software Development Forever

A discussion on the promise and limitations of coding agents, covering key challenges like verification and debugging, and exploring how they can support developers through improved abstraction, collaboration, and handling long-term tasks.