Hanselminutes Podcast by Scott Hanselman

The Hanselminutes podcast

Fresh Tech Talk from Fresh Faces
Leslie Lamport - in partnership with ACM Bytecast

Leslie Lamport - in partnership with ACM Bytecast

Show #790 May 27 2021 Podcast Player with Transcript Help edit or fix transcripts here!

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

This episode sponsored by CBT Nuggets and Kentico

CBT Nuggets
Kentico
Please subscribe! We're on iTunes, Spotify, Google Play, Twitter, or download the MP3. Share on Twitter and Facebook. Also, see our survey!

Edit and improve my show's PodScribe.ai transcripts here!

The Quantified Worker with Dr. Ifeoma Ajunwa 877

The Quantified Worker with Dr. Ifeoma Ajunwa

Game Emulation with former MAME programmer Aaron Giles 876

Game Emulation with former MAME programmer Aaron Giles

Ben West is not waiting for Diabetes Tech to catch up 875

Ben West is not waiting for Diabetes Tech to catch up

Dr. Gregory Kapfhammer wants to stop flaky tests 874

Dr. Gregory Kapfhammer wants to stop flaky tests

Dr. Brandeis Marshall's Data Conscience 873

Dr. Brandeis Marshall's Data Conscience

Hachyderm's Kris Nova on running a Mastodon Server 872

Hachyderm's Kris Nova on running a Mastodon Server

Growing as an Enginering Manager with Taylor Poindexter 871

Growing as an Enginering Manager with Taylor Poindexter

Real-time personal health data with Dot Health's Huda Idrees 870

Real-time personal health data with Dot Health's Huda Idrees

Do I stay or do I go? - Tech career advice with Mekka Williams 869

Do I stay or do I go? - Tech career advice with Mekka Williams

Creating games on Nintendo Switch with FUZE4 and Jon Silvera 868

Creating games on Nintendo Switch with FUZE4 and Jon Silvera

Social Impact using offline forms with ODK's Yaw Anokwa 867

Social Impact using offline forms with ODK's Yaw Anokwa

Testing mobile devices with robots with Mobot's Eden Full Goh 866

Testing mobile devices with robots with Mobot's Eden Full Goh

What If? 2 with Randall Munroe 865

What If? 2 with Randall Munroe

The Work Ahead with Blind Engineer Sameer Doshi 864

The Work Ahead with Blind Engineer Sameer Doshi

Celebrating the Second Edition of Code with Charles Petzold 863

Celebrating the Second Edition of Code with Charles Petzold

Engineering Leadership and Refactoring Monoliths with Kirsten Westeinde 862

Engineering Leadership and Refactoring Monoliths with Kirsten Westeinde

Hundreds more episodes over here...