![Screenshot of youtube.com: Terence Tao – Machine-Assisted Proofs [video]](https://hn.urlbox.com/shots/renders/2025/2/26/4c7102a6-27ec-4b62-91ed-127843490e85.jpg)
![Screenshot of youtube.com: Machine Assisted Proof [video]](https://hn.urlbox.com/shots/renders/2024/2/15/f3b295cc-1f2b-4d78-be2b-024454ea5325.jpg)
First screen, captured .
Looks similar
![Screenshot of youtube.com: Reimagining mathematics in a world of reasoning machines [video]](https://hn.urlbox.com/shots/renders/2024/12/22/06c8ac93-004c-4828-833c-c29cf284b9aa.jpg)
![Screenshot of youtube.com: Alan Kay's talk at UCLA – Feb 2024 [video]](https://hn.urlbox.com/shots/renders/2024/3/6/b2151159-bee8-492f-8f94-2f1ddba2874c.jpg)
![Screenshot of youtube.com: Math's pedagogical curse – Grant Sanderson [video] (2023)](https://hn.urlbox.com/shots/renders/2026/10/4/0ece93c4-08a4-4a65-a31b-97d586312ec1.jpg)
Math's pedagogical curse – Grant Sanderson [video] (2023)(youtube.com)
62 points by bobajeff | 30 comments
YouTube video of Grant Sanderson's JPBM Communications Award lecture at the 2023 Joint Mathematics Meetings, titled "Math's pedagogical curse."
![Screenshot of youtube.com: Apple's Predicament – NSPredicate Exploitation on macOS and iOS [video]](https://hn.urlbox.com/shots/renders/2023/12/31/d88b2dd6-c618-4687-9e7b-3bfb2a7ff7de.jpg)
![Screenshot of youtube.com: Strange Loops: journeys in declarative logic programming in genomics [video]](https://hn.urlbox.com/shots/renders/2023/11/30/02843a2b-724e-4c2a-9604-0948e1f21808.jpg)