Reimagining mathematics in a world of reasoning machines [video](youtube.com)48 points by kentricon 1 year ago | 31 comments
Alan Kay's talk at UCLA – Feb 2024 [video](youtube.com)256 points by sgoyal 2 years ago | 74 comments
Emulating the 6502 CPU in C++ (2021) [video](youtube.com)54 points by mariuz 3 years ago | 11 comments
Strange Loops: journeys in declarative logic programming in genomics [video](youtube.com)53 points by surprisetalk 2 years ago | 3 comments
Two physicists who correctly predicted the mass of Higgs boson [video](youtube.com)86 points by jerb 2 years ago | 53 comments
![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: Prompting Is Dead in 6 Months. Andrew Ng, Stanford [video]](https://hn.urlbox.com/shots/renders/2026/9/8/8161b052-d534-44d6-90a7-406f03ad4772.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: Emulating the 6502 CPU in C++ (2021) [video]](https://hn.urlbox.com/shots/renders/2023/8/18/5196743c-31c8-4758-bbcd-c3c0cd25f905.jpg)
![Screenshot of youtube.com: 2024 MIT Integration Bee – Finals [video]](https://hn.urlbox.com/shots/renders/2024/2/28/eb7a0471-35cf-467e-a4df-6628bea15109.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)
![Screenshot of youtube.com: Two physicists who correctly predicted the mass of Higgs boson [video]](https://hn.urlbox.com/shots/renders/2024/1/7/8565d5f9-745d-4db9-9325-fbd98df99ba7.jpg)