Hackernews posts about Leslie Lamport

1. How I came to write that paper with Leslie Lamport (lawrencecpaulson.github.io)
   58 points by baruchel 27 days ago | 11 comments
2. The Writings of Leslie Lamport (2026) (lamport.azurewebsites.net)
   2 points by locknitpicker 2 days ago | discuss
3. Leslie Lamport: Some Data on the Frequency of Errors in Mathematics Papers [pdf] (lamport.azurewebsites.net)
   1 points by Alien1Being 2 days ago | 1 comments
4. TLA+ creator Leslie Lamport: 'Programmers need abstractions' (thenewstack.io)
   46 points by MilnerRoute over 1 year ago | discuss
5. Leslie Lamport Retires (www.lamport.org)
   6 points by cocoa19 over 1 year ago | discuss
6. Programming ≠ coding – Leslie Lamport [video] (www.youtube.com)
   4 points by max_ 7 months ago | discuss
7. Leslie Lamport's Annotated Writings (creator of LaTeX, TLA+, Paxos) (lamport.azurewebsites.net)
   4 points by sovietswag 9 months ago | discuss
8. How to Write a 21st Century Proof – Leslie Lamport 2011 [pdf] (lamport.azurewebsites.net)
   3 points by nill0 over 1 year ago | discuss
9. A Science of Concurrent Programs by Leslie Lamport (lamport.azurewebsites.net)
   2 points by teleforce 2 months ago | discuss
10. Leslie Lamport: The Man Who Revolutionized Computer Science with Math [video] (www.youtube.com)
    1 points by ColinWright over 1 year ago | discuss
11. Coding Isn't Programming (www.socallinuxexpo.org)
    155 points by todsacerdoti over 1 year ago | 207 comments