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!

Exploring the Afghan girls robotics team with Saghar Salehi 910

Exploring the Afghan girls robotics team with Saghar Salehi

Unlocking Peak Performance with Dr. Julie Gurner 909

Unlocking Peak Performance with Dr. Julie Gurner

Level up your career with Ankita Kulkarni 908

Level up your career with Ankita Kulkarni

Culturally Competent Computer Scientists with Dr. Nicki Washington 907

Culturally Competent Computer Scientists with Dr. Nicki Washington

The History of Data with Ted Neward 906

The History of Data with Ted Neward

Introducing TypeChat with Anders Hejlsberg 905

Introducing TypeChat with Anders Hejlsberg

The Ingredients to a Life in Tech with Corey Weathers 904

The Ingredients to a Life in Tech with Corey Weathers

AI and the 2023 Hollywood Strike with Franchesca Ramsey 903

AI and the 2023 Hollywood Strike with Franchesca Ramsey

A diverse career with Veni Kunche 902

A diverse career with Veni Kunche

All the Performance with RavenDB's Oren Eini 901

All the Performance with RavenDB's Oren Eini

From Ethernet to Geothermal Energy with Bob Metcalfe 900

From Ethernet to Geothermal Energy with Bob Metcalfe

Fundamentals for Self-Taught Programmers with Jasmine Greenaway 899

Fundamentals for Self-Taught Programmers with Jasmine Greenaway

Who's Coding? with Dr Kate Miltner 898

Who's Coding? with Dr Kate Miltner

Towards a better Data Platform with Danica Fine 897

Towards a better Data Platform with Danica Fine

Avanade's Florin Rotar and Chris Lloyd-Jones 896

Avanade's Florin Rotar and Chris Lloyd-Jones

The Road to Entrepreneurship with Nanxi Liu 895

The Road to Entrepreneurship with Nanxi Liu

Hundreds more episodes over here...