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!

Affective Computing with MIT's Dr. Rosalind Picard 939

Affective Computing with MIT's Dr. Rosalind Picard

Big Tech from the Inside with Dare Obasanjo 938

Big Tech from the Inside with Dare Obasanjo

The Challenges of Deploying IoT at Scale with John Kattenhorn 937

The Challenges of Deploying IoT at Scale with John Kattenhorn

Conscious Leadership with Ginny Clarke 936

Conscious Leadership with Ginny Clarke

eSports for the next generation with Davin Jackson 935

eSports for the next generation with Davin Jackson

Postgres Replication at speed with PeerDB's Sai Srirampur 934

Postgres Replication at speed with PeerDB's Sai Srirampur

Reinventing the API Gateway with Zuplo's Josh Twist 933

Reinventing the API Gateway with Zuplo's Josh Twist

Local AI empowers startups with StoryGraph's Rob Frelow 932

Local AI empowers startups with StoryGraph's Rob Frelow

Our Retro FPGA future powered by Jose Tejada (JOTEGO) 931

Our Retro FPGA future powered by Jose Tejada (JOTEGO)

The Power of Open Telemetry with Dr. Sally Wahba 930

The Power of Open Telemetry with Dr. Sally Wahba

AI Superpowers with Spring Science's Ben Kamens 929

AI Superpowers with Spring Science's Ben Kamens

ASP.NET Basics for Experts with Layla Porter 928

ASP.NET Basics for Experts with Layla Porter

Designing with Code with Dr. Janne Jul Jensen 927

Designing with Code with Dr. Janne Jul Jensen

Teaching Data Science with Alfredo Deza 926

Teaching Data Science with Alfredo Deza

Rebuilding DevOps with System Initiative’s Brit Myers 925

Rebuilding DevOps with System Initiative’s Brit Myers

Code Visualization with CodeSee's Shanea Leven 924

Code Visualization with CodeSee's Shanea Leven

Hundreds more episodes over here...