Dean and Tim discuss DeepSeek’s r1 release and what it means. We talk export controls, whether the model is a true technical breakthrough, and what “reasoning” models like r1 and o1 mean for the pace of AI progress going forward. This is our first episode with just Dean and Tim chatting, but we hope to do more such episodes in the future.