Hacker News
- Univalent Foundations: New Foundations of Mathematics [video] https://video.ias.edu/node/6365 10 comments
- Brian Kernighan on The Elements of Programming Style[video] http://video.ias.edu/PiTP2009-Kernighan 6 comments
Lobsters
- Kernighan on the elements of programming style https://video.ias.edu/PiTP2009-Kernighan 3 comments c , science , video
- Five Stages of Accepting Constructive Mathematics [Video] http://video.ias.edu/members/1213/0318-andrejbauer 4 comments math
- Brian Kernighan's talk on The Elements of Programming Style http://video.ias.edu/pitp2009-kernighan 3 comments programming
- Introduction to the Univalent Foundations of Mathematics [video lectures] http://video.ias.edu/univalent 6 comments math
- Video Lecture: "What if Current Foundations of Mathematics are Inconsistent?" Vladimir Voevodsky, Professor, School of Mathematics http://video.ias.edu/voevodsky-80th 24 comments math
- A video lecture by Brian Kernighan on "The Elements of Programming Style" http://video.ias.edu/stream&ref=270 11 comments programming