Alan Kay's talk at UCLA – Feb 2024 [video](youtube.com)256 points by sgoyal 2 years ago | 74 comments
Reimagining mathematics in a world of reasoning machines [video](youtube.com)48 points by kentricon 1 year ago | 31 comments
Strange Loops: journeys in declarative logic programming in genomics [video](youtube.com)53 points by surprisetalk 2 years ago | 3 comments
Pijul: Version-Control Post-Git [video](youtube.com)178 points by todsacerdoti 3 years ago | 128 comments
Show HN: Connecting an IBM 3151 terminal to a mainframe [video](youtube.com)116 points by norbert_kehrer 1 year ago | 38 comments
Feynman Computer Science Lecture – Hardware, Software, Heuristics (1985) [video](youtube.com)122 points by nomilk 2 years ago | 13 comments