How to learn Lean programming language | Terence Tao and Lex Fridman

Lex Fridman Podcast full episode:    • Terence Tao: Hardest Problems in Mathemati...  
Thank you for listening ❤ Check out our sponsors: https://lexfridman.com/sponsors/cv896...
See below for guest bio, links, and to give feedback, submit questions, contact Lex, etc.

GUEST BIO:
Terence Tao is widely considered to be one of the greatest mathematicians in history. He won the Fields Medal and the Breakthrough Prize in Mathematics, and has contributed to a wide range of fields from fluid dynamics with Navier-Stokes equations to mathematical physics & quantum mechanics, prime numbers & analytics number theory, harmonic analysis, compressed sensing, random matrix theory, combinatorics, and progress on many of the hardest problems in the history of mathematics.

CONTACT LEX:
Feedback - give feedback to Lex: https://lexfridman.com/survey
AMA - submit questions, videos or call-in: https://lexfridman.com/ama
Hiring - join our team: https://lexfridman.com/hiring
Other - other ways to get in touch: https://lexfridman.com/contact

EPISODE LINKS:
Terence's Blog: https://terrytao.wordpress.com/
Terence's YouTube:    / @terencetao27  
Terence's Books: https://amzn.to/43H9Aiq

SPONSORS:
To support this podcast, check out our sponsors & get discounts:
Notion: Note-taking and team collaboration.
Go to https://lexfridman.com/s/notion-cv896...
Shopify: Sell stuff online.
Go to https://lexfridman.com/s/shopify-cv89...
NetSuite: Business management software.
Go to https://lexfridman.com/s/netsuite-cv8...
LMNT: Zero-sugar electrolyte drink mix.
Go to https://lexfridman.com/s/lmnt-cv8965-sb
AG1: All-in-one daily nutrition drink.
Go to https://lexfridman.com/s/ag1-cv8965-sb

PODCAST LINKS:
Podcast Website: https://lexfridman.com/podcast
Apple Podcasts: https://apple.co/2lwqZIr
Spotify: https://spoti.fi/2nEwCF8
RSS: https://lexfridman.com/feed/podcast/
Podcast Playlist:    • Lex Fridman Podcast  
Clips Channel:    / lexclips  

SOCIAL LINKS:
X: https://x.com/lexfridman
Instagram:   / lexfridman  
TikTok:   / lexfridman  
LinkedIn:   / lexfridman  
Facebook:   / lexfridman  
Patreon:   / lexfridman  
Telegram: https://t.me/lexfridman
Reddit:   / lexfridman