Hacker News
- Leslie Lamport: How to Write a 21st Century Proof (2014) [video] http://www.heidelberg-laureate-forum.org/blog/video/lecture-tuesday-september-23-2014-leslie-lamport/ 6 comments
- Leslie Lamport: A Mathematical View of Computer Systems http://www.heidelberg-laureate-forum.org/blog/video/lecture-monday-august-24-2015-leslie-lamport/ 2 comments
- What would you ask Turing Award winners? http://www.heidelberg-laureate-forum.org 8 comments compsci
- What would you ask Abel Prize and Fields Medal winners? http://www.heidelberg-laureate-forum.org 45 comments math
- Leslie Lamport: A Mathematical View of Computer Systems http://www.heidelberg-laureate-forum.org/blog/video/lecture-monday-august-24-2015-leslie-lamport/ 33 comments programming
- Alexander Grothendieck, Jedi http://www.heidelberg-laureate-forum.org/de/laureate/alexander-grothendieck/ 5 comments math
- Quite a list of participants... http://www.heidelberg-laureate-forum.org/the-laureates/ 3 comments math
Linking pages
- A Computer Scientist Tells Mathematicians How To Write Proofs - Scientific American Blog Network http://blogs.scientificamerican.com/roots-of-unity/2014/09/24/how-to-write-proofs/ 205 comments
- Voevodsky’s Mathematical Revolution - Scientific American Blog Network http://blogs.scientificamerican.com/guest-blog/2013/10/01/voevodskys-mathematical-revolution/ 144 comments
- A Computer Scientist Tells Mathematicians How To Write Proofs - Scientific American Blog Network https://blogs.scientificamerican.com/roots-of-unity/computer-scientist-tells-mathematicians-how-to-write-proofs/ 100 comments
- Applying Mathematics and Computer Science to Everyday Life - Anecdotes from Donald Knuth and Robert Tarjan - Heidelberg Laureate Forum - SciLogs - Wissenschaftsblogs https://scilogs.spektrum.de/hlf/applying-mathematics-and-computer-science-to-everyday-life-anecdotes-from-donald-knuth-and-robert-tarjan/ 12 comments
- HLF16: Liskov’s Reading List for Computer Scientists – johanna pirker http://jpirker.com/hlf16-liskovs-reading-list-for-computer-scientists/ 9 comments
- Bigger Isn’t Always Better When It Comes To Generative AI https://www.forbes.com/sites/christinero/2023/09/30/bigger-isnt-always-better-when-it-comes-to-generative-ai/?sh=415b1ab84401 6 comments
- In Love with Geometry - Scientific American Blog Network http://blogs.scientificamerican.com/guest-blog/2013/09/23/in-love-with-geometry/ 1 comment
- Go to statement considered harmful | the morning paper https://blog.acolyer.org/2016/10/13/go-to-statement-considered-harmful/ 0 comments
- Retired mathematician rocks math world with claim that he's solved $1 million problem https://www.nbcnews.com/mach/science/retired-mathematician-rocks-math-world-claim-he-s-solved-1-ncna914046 0 comments
- A Trip Down Read-Only Memory Lane with William Kahan - Scientific American Blog Network http://blogs.scientificamerican.com/guest-blog/2013/09/30/a-trip-down-read-only-memory-lane-with-william-kahan/ 0 comments
- The maths of randomness | plus.maths.org https://plus.maths.org/content/maths-randomness 0 comments
- Escaping the Confucian trap - Scientific American Blog Network http://blogs.scientificamerican.com/guest-blog/2013/09/18/escaping-the-confucian-trap/ 0 comments