![Screenshot of youtube.com: Feynman Computer Science Lecture – Hardware, Software, Heuristics (1985) [video]](https://hn.urlbox.com/shots/renders/2024/6/4/f1f69489-7e8c-4266-8e85-22ff287261b3.jpg)
![Screenshot of youtube.com: Interactive Theorem Proving, Guest Lecture – Introduction to HOL [video]](https://hn.urlbox.com/shots/renders/2024/6/10/76c2961a-a04f-46e2-abc7-aa43848f31d9.jpg)
First screen, captured .
Looks similar
![Screenshot of youtube.com: GradIEEEnt half decent: The hidden power of imprecise lines [video]](https://hn.urlbox.com/shots/renders/2023/7/23/8560adbb-09c9-4146-bce8-8437a70b4389.jpg)
![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: 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: Effective Neovim: An Instant IDE [video]](https://hn.urlbox.com/shots/renders/2023/11/5/e902ac6c-efb7-4314-bb85-d8b59205bebb.jpg)
![Screenshot of youtube.com: Intro to Large Language Models [Video]](https://hn.urlbox.com/shots/renders/2023/11/23/afc8e4f3-73b3-41bf-aade-00e6922b6dd1.jpg)