logo
episode-header-image
Apr 2021
1m 36s

We Can't Prove Most Theorems with Known ...

Naval
About this episode

Transcript http://nav.al/prove

Up next
Jul 2
Live in the Future
Naval with three founders who are living in the future: Garry Tan (Y Combinator), Daniel Francis (Abel Police), and Farbood Nivi (A-LIST). 00:00 Guest Intros 02:35 Live in the Future 03:58 Will AI Outsmart us? 07:43 In the Anthropic Breadline 09:59 The Tech Genie Is Out 12:33 We ... Show More
1h 7m
Jun 1
Full Episode: The AI Industrial Revolution
Full episode with 20 minutes of new material at the end. Software factories, vertical integration, the regulatory frontier, and the autonomous company. Part 1: Waste Tokens, Save Time 00:00 Three Frontier Founders 01:27 AI Software Factories 04:15 Waste Tokens, Save Time 05:47 Mo ... Show More
1h 10m
May 11
Sell the Truth
00:00 Be Credible 03:18 "Yes, And" 04:31 Selfish Honesty 05:37 Charisma Is Confidence + Love 07:56 Don't Manage, Lead 11:16 Hunt Together 14:51 Feed Your (Good) Obsessions 18:57 Sell the Truth 21:07 Good Deal or No Deal 23:39 The Age of Nonlinear Returns — Transcript: http://nav. ... Show More
27m 40s
Recommended Episodes
Dec 2014
#92 - TO MOVE UP
For a transcript, click here 
5m 47s
Nov 2014
#91 - TO MOVE ON
For more details, and a transcript, click here 
6m 24s
Nov 2013
191: The difference between ’my car’ and ’Mike are’
Aspiration, of course. Full episode transcripts at www.pronuncian.com/podcast. 
9m 17s
Jun 2025
when am I compelled to speak? (ft. Madleen flotilla, Booker, and necessary reorientation)
full transcript at threadings.io 
30m 59s
Dec 2016
AEE 659: The 3-step Formula for Asking Someone to Be Quiet in English
Click here to get your transcripts Learn more about your ad choices. Visit podcastchoices.com/adchoices 
20m 50s
Jul 2022
AEE 1819: There’s Nothing Better than these English Expressions
Go here to get transcripts: https://www.allearsenglish.com/subscribe Learn more about your ad choices. Visit podcastchoices.com/adchoices 
20m 29s
Sep 2006
Sample Learning Guide
See http://www.effortlessacquisition.blogspot.com for the text of this podcast. 
2m 31s
Mar 2024
Walk someone through
TRANSCRIPT Find a full transcript for this episode and more programmes to help you with your English at: https://www.bbc.co.uk/learningenglish/english/features/the-english-we-speak_2024/ep-240325FIND BBC LEARNING ENGLISH HERE: Visit our website ✔️ https://www.bbc.co.uk/learningen ... Show More
2m 15s