![Defining Developer Relations with Angie Jones](https://images.hanselminutes.com/podcast/shows/954.jpg)
![Computer Science Visualizations with Sam Rose](https://images.hanselminutes.com/podcast/shows/953.jpg)
![Introducing .NET Aspire with Damian Edwards](https://images.hanselminutes.com/podcast/shows/952.jpg)
![DIY Insulin Pumps with Dr Martin de Bock](https://images.hanselminutes.com/podcast/shows/951.jpg)
![Scott on DotNetRocks episode 1900 with Carl Franklin and Richard Campbell](https://images.hanselminutes.com/podcast/shows/950.jpg)
![Cross-platform UIs for all with Avalonia CEO Mike James](https://images.hanselminutes.com/podcast/shows/949.jpg)
![Dr. Juan Gilbert in association with the ACM Bytecast](https://images.hanselminutes.com/podcast/shows/948.jpg)
![Making "Tales of Kenzera: Zau" with Abubakar Salim](https://images.hanselminutes.com/podcast/shows/947.jpg)
![Ethics, AI, and Human-centered Computing with Dr. Casey Fiesler](https://images.hanselminutes.com/podcast/shows/946.jpg)
![Community and content with Android Expert Madona Wambua](https://images.hanselminutes.com/podcast/shows/945.jpg)
![Open Core Open Source with Mermaid Chart's Knut Sveidqvist](https://images.hanselminutes.com/podcast/shows/944.jpg)
![Exploring Decentralized Tech with TBD's Rizel Scarlett](https://images.hanselminutes.com/podcast/shows/943.jpg)
![Innovation in Accessibility with Fable's Kate Kalcevich](https://images.hanselminutes.com/podcast/shows/942.jpg)
![Foundations of Design for Developers with Kathryn Grayson Nanz](https://images.hanselminutes.com/podcast/shows/941.jpg)
![Github Advanced Security with Jacob DePriest](https://images.hanselminutes.com/podcast/shows/940.jpg)
![Affective Computing with MIT's Dr. Rosalind Picard](https://images.hanselminutes.com/podcast/shows/939.jpg)
In this collaboration with ACM ByteCast and Hanselminutes, Scott welcomes 2013 ACM A.M. Turing Award laureate Leslie Lamport of Microsoft Research, best known for his seminal work in distributed and concurrent systems, and as the initial developer of the document preparation system LaTeX and the author of its first manual. Among his many honors and recognitions, Lamport is a Fellow of ACM and has received the IEEE Emanuel R. Piore Award, the Dijkstra Prize, and the IEEE John von Neumann Medal.
Leslie shares his journey into computing, which started out as something he only did in his spare time as a mathematician. Scott and Leslie discuss the differences and similarities between computer science and software engineering, the math involved in Leslie’s high-level temporal logic of actions (TLA), which can help solve the famous Byzantine Generals Problem, and the algorithms Leslie himself has created. He also reflects on how the building of distributed systems has changes since the 60s and 70s.
Subscribe to the ACM ByteCast at https://learning.acm.org/bytecast
Time-Clocks Paper http://lamport.azurewebsites.net/pubs/time-clocks.pdf
Bakery Algorithm https://en.wikipedia.org/wiki/Lamport%27s\_bakery\_algorithm
Mutual Exclusion Algorithm https://en.wikipedia.org/wiki/Lamport%27s\_distributed\_mutual\_exclusion\_algorithm