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/).
"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
Follow
Also known as the only formally scientific elements of CS.
