Listen to Leslie if you’ve not met before <https://youtu.be/rkZzg7Vowao?si=o4ejVtv6KDzLVNL9> #LeslieLamport
#leslielamport — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #leslielamport, aggregated by home.social.
-
“The issue was therefore not simply the loss of one NTP #server or #redundancy in the #design of the #configuration of the three #NTP servers, but the propagation and acceptance of erroneous #date information by #interconnected #systems that rely on timing as a #trust and ordering #reference.”
Q Who said this first?
#LeslieLamport or some #Telstra exec? <https://www.theguardian.com/business/2026/jul/17/telstra-missing-software-update-undocumented-design-change-outage>
-
Closing Keynote with Leslie Lamport at Scale 22x: Coding Isn't Programming
https://www.socallinuxexpo.org/scale/22x/presentations/closing-keynote-leslie-lamport
#HackerNews #LeslieLamport #Scale22x #CodingIsntProgramming #TechTalks #KeynoteSpeech
-
His #wip book contains gems like:
» Hilbert called it ε , but I think it’s better to call it choose. «
» Mathglish differs from English in two ways: It eliminates some of the imprecision of English by giving a precise meaning to some imprecise English words, and it makes the written language more compact by using mathematical formulas to replace English phrases. «
Revised Draft of New #TLA Book
#LeslieLamport 1 March 2024 -
» 2.3 Mathglish
Math is precise, but this book isn’t written in math.
It’s written in English that explains math.
...
#Mathglish differs from Eng. in two ways:
It eliminates some of the imprecision of Eng. by giving a precise meaning to some imprecise Eng. words, and it makes the written language more compact by using math form.. «» Hilbert called it ε , but I
think it’s better to call it CHOOSE «#LeslieLamport #TLABook
A Science of #ConcurrentPrograms
https://lamport.azurewebsites.net/tla/news.html -
"Thinking doesn’t guarantee that we won’t make mistakes. But not thinking guarantees that we will." — Leslie Lamport — — — #LeslieLamport #quote #quotes #thinking #thoughtful #actions #deeds #mistake #error
-
"The Man Who Revolutionized Computer Science With Math" [#Video], Quanta (https://www.youtube.com/watch?v=rkZzg7Vowao).
On HN: https://news.ycombinator.com/item?id=31496816
#Lamport #LeslieLamport #Programming #ComputerScience #Math #Mathematics #Thinking
-
A #profile of, and an #interview with, #LeslieLamport, the OG of #programming #DistributedSystems:
“How To Write Software With Mathematical Perfection”, Quanta (https://www.quantamagazine.org/computing-expert-says-programmers-need-more-math-20220517/).
-
Wow. Free PDF / ePUB download of "Concurrency: the Works of Leslie Lamport - October 2019" by the ACM.
https://dl.acm.org/doi/book/10.1145/3335772
Via Hacker News [ https://news.ycombinator.com/item?id=22762508 ]