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!

Learning to Teach with Shaundai Person 792

Learning to Teach with Shaundai Person

Design Systems with Jina Anne 791

Design Systems with Jina Anne

Leslie Lamport - in partnership with ACM Bytecast 790

Leslie Lamport - in partnership with ACM Bytecast

Developers and Security with Rey Bango 789

Developers and Security with Rey Bango

Automating all the Things with Home Assistant's Paulus Schoutsen 788

Automating all the Things with Home Assistant's Paulus Schoutsen

Social Robots with De'Aira Bryant 787

Social Robots with De'Aira Bryant

Customer Empathy with Alex Allwood 786

Customer Empathy with Alex Allwood

Intersection of Medicine and Technology with Dr. Divya Dhar Cohen 785

Intersection of Medicine and Technology with Dr. Divya Dhar Cohen

Doing Open Source with Brian Douglas 784

Doing Open Source with Brian Douglas

API Observability with Akita Software's Jean Yang 783

API Observability with Akita Software's Jean Yang

Attracting and Retaining Diverse Tech Talent with April Christina Curley 782

Attracting and Retaining Diverse Tech Talent with April Christina Curley

Outside In: The Innovation Stack with Jim McKelvey 781

Outside In: The Innovation Stack with Jim McKelvey

From Astronomy Graduate Student to Senior Software Engineer with Nicholas Hunt-Walker 780

From Astronomy Graduate Student to Senior Software Engineer with Nicholas Hunt-Walker

It's time for a new kind of calculator with NumWorks' Romain Goyet 779

It's time for a new kind of calculator with NumWorks' Romain Goyet

George Li is launching MiTEE Cube Satellites and making TikToks 778

George Li is launching MiTEE Cube Satellites and making TikToks

Observability beyond buzzwords with New Relic's Tori Wieldt 777

Observability beyond buzzwords with New Relic's Tori Wieldt

Hundreds more episodes over here...