#leslielamport — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #leslielamport, aggregated by home.social.
-
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
-
"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/).