Reimagining mathematics in a world of reasoning machines [video](youtube.com)48 points by kentricon 1 year ago | 31 comments
Feynman Computer Science Lecture – Hardware, Software, Heuristics (1985) [video](youtube.com)122 points by nomilk 2 years ago | 13 comments
The propagation of error in classical geometry constructions (2018)(jdh.hamkins.org)74 points by downboots 2 years ago | 24 comments
Feynman's Messenger Lectures (1964)(feynmanlectures.caltech.edu)260 points by bookofjoe 3 years ago | 71 comments