3 ms·

Oh, and he is the same Leslie Lamport who brought us LaTeX.

• deleted 7y ago
  [deleted]
• patrec 7y ago
  Nobody is perfect.
• threatofrain 7y ago
  And the one who created TLA+, a language for describing concurrent computations. http://lamport.azurewebsites.net/video/videos.html http://lamport.azurewebsites.net/video/videos.html
  • state_less 7y ago
    I like how he formalized future state into propositional logic so you could reason about a system across time.