#lamport — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #lamport, aggregated by home.social.
-
Leslie Lamport, just what an attitude
#computerscience #lamport #arrogance #tla -
I kept saying to my younger colleagues in #IT that "programming is a mathematical activity", but no one bother to stop and listen to me, let alone believe what I was saying. Well, I hope they would take heed Leslie #Lamport—a mathematician, a Turing Award winning computer scientist, the inventor of the distributed time synchronisation algorithm, the creator of \(\LaTeX\), ...—who said, "#Coding is to #programming what typing is to writing".
-
Causality is hard to debug in distributed systems. Today we take the first step, of many, in making asynchrony understandable.
-
"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/).