Hackernews posts about Leslie Lamport

1. 01
   

   newHow I came to write that paper with Leslie Lamportlawrencecpaulson.github.io

   ▲ 58baruchel72d💬 11savesaved
2. 02
   

   newTLA+ creator Leslie Lamport: 'Programmers need abstractions'thenewstack.io

   ▲ 46MilnerRoute548ddiscusssavesaved
3. 03
   

   newLeslie Lamport Retireswww.lamport.org

   ▲ 6cocoa19667ddiscusssavesaved
4. 04
   

   newProgramming ≠ coding – Leslie Lamport [video]www.youtube.com

   ▲ 4max_245ddiscusssavesaved
5. 05
   

   newLeslie Lamport's Annotated Writings (creator of LaTeX, TLA+, Paxos)lamport.azurewebsites.net

   ▲ 4sovietswag320ddiscusssavesaved
6. 06
   

   newHow to Write a 21st Century Proof – Leslie Lamport 2011 [pdf]lamport.azurewebsites.net

   ▲ 3nill0603ddiscusssavesaved
7. 07
   

   newThe Writings of Leslie Lamport (2026)lamport.azurewebsites.net

   ▲ 2locknitpicker47ddiscusssavesaved
8. 08
   

   newA Science of Concurrent Programs by Leslie Lamportlamport.azurewebsites.net

   ▲ 2teleforce108ddiscusssavesaved
9. 09
   

   newLeslie Lamport: Some Data on the Frequency of Errors in Mathematics Papers [pdf]lamport.azurewebsites.net

   ▲ 1Alien1Being47d💬 1savesaved
10. 10
    

    newLeslie Lamport: The Man Who Revolutionized Computer Science with Math [video]www.youtube.com

    ▲ 1ColinWright631ddiscusssavesaved
11. 11
    

    newCoding Isn't Programmingwww.socallinuxexpo.org

    ▲ 155todsacerdoti586d💬 207savesaved

· edit