Hacker News
- The Writings of Leslie Lamport https://lamport.azurewebsites.net/pubs/pubs.html 10 comments
- The Writings of Leslie Lamport http://research.microsoft.com/en-us/um/people/lamport/pubs/pubs.html 15 comments
- Leslie Lamport's Writings http://research.microsoft.com/en-us/um/people/lamport/pubs/pubs.html 3 comments
- 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 Tells Mathematicians How to Write Proofs (2014) https://blogs.scientificamerican.com/roots-of-unity/computer-scientist-tells-mathematicians-how-to-write-proofs/ 100 comments
Lobsters
- Leslie Lamport interview: How to Write Software With Mathematical Perfection https://www.quantamagazine.org/computing-expert-says-programmers-need-more-math-20220517/ 19 comments compsci , formalmethods , historical , math , person
- Interesting Writings by Leslie Lamport http://research.microsoft.com/en-us/um/people/lamport/pubs/pubs.html 3 comments compsci
- How to write a proof, by Leslie Lamport (old but good paper) http://research.microsoft.com/en-us/um/people/lamport/pubs/lamport-how-to-write.pdf 8 comments compsci
- Leslie Lamport says if you don’t get the design right from the beginning, then every piece of the code you write is a patch. Do you agree or disagree with his approach? https://changelog.fm/552#transcript-45 300 comments programming
- "If people are trying to learn programming by being taught to code, well, they're being taught writing by being taught how to type and that doesn't make much sense" - Leslie Lamport https://www.youtube.com/watch?v=rkZzg7Vowao 492 comments programming