Hackernews posts about Leslie Lamport

1. TLA+ creator Leslie Lamport: 'Programmers need abstractions' (thenewstack.io)
   46 points by MilnerRoute 4 months ago | discuss
2. Leslie Lamport Retires (www.lamport.org)
   6 points by cocoa19 8 months ago | discuss
3. How to Write a 21st Century Proof – Leslie Lamport 2011 [pdf] (lamport.azurewebsites.net)
   3 points by nill0 5 months ago | discuss
4. Leslie Lamport: programming ≠ coding [video] (www.youtube.com)
   3 points by nequo about 1 year ago | discuss
5. Leslie Lamport: Thinking Above the Code (2014) [video] (www.youtube.com)
   2 points by tosh over 1 year ago | discuss
6. LaTeX: A Document Preparation System by Leslie Lamport [pdf] (www.cs.ntua.gr)
   1 points by joebig over 1 year ago | 1 comments
7. Leslie Lamport: The Man Who Revolutionized Computer Science with Math [video] (www.youtube.com)
   1 points by ColinWright 6 months ago | discuss
8. Coding Isn't Programming (www.socallinuxexpo.org)
   155 points by todsacerdoti 5 months ago | 207 comments