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!

C64 OS - A new operating system for the Commodore 64 with Gregory Naçu 860

C64 OS - A new operating system for the Commodore 64 with Gregory Naçu

Why the C64 Demoscene matters with Clay Token's Bilgem Çakır 859

Why the C64 Demoscene matters with Clay Token's Bilgem Çakır

Learning to code 6502 assembly in Pikuma's Gustavo Pezzi 858

Learning to code 6502 assembly in Pikuma's Gustavo Pezzi

Creating Tech Courseware with Lemonerdy's teen CEO Eden Wilson 857

Creating Tech Courseware with Lemonerdy's teen CEO Eden Wilson

Building and Scaling  Geo-Distributed Cloud Apps with Denis Magda 856

Building and Scaling Geo-Distributed Cloud Apps with Denis Magda

Growing your career via technical content creation with Mohammed Osman 855

Growing your career via technical content creation with Mohammed Osman

Learning via Personal Challenges with Lisi Hocke 854

Learning via Personal Challenges with Lisi Hocke

Redpoint's Erica Brescia supports Tech Founders 853

Redpoint's Erica Brescia supports Tech Founders

Mark Thompson wants you to win 852

Mark Thompson wants you to win

Failing Safely with Ramón Huidobro 851

Failing Safely with Ramón Huidobro

Rust for Beginners with Nell Shamrell-Harrington 850

Rust for Beginners with Nell Shamrell-Harrington

The future of supply chain with Ox's CEO Charu Thomas 849

The future of supply chain with Ox's CEO Charu Thomas

Journey Foods makes Tech with Biologist and Entrepreneur Riana Lynn 848

Journey Foods makes Tech with Biologist and Entrepreneur Riana Lynn

Engineering Stack Overflow with Roberta Arcoverde 847

Engineering Stack Overflow with Roberta Arcoverde

Enabled Play for everyone with Alex Dunn 846

Enabled Play for everyone with Alex Dunn

3d Printers work everywhere with OctoEverywhere and Quinn Damerell 845

3d Printers work everywhere with OctoEverywhere and Quinn Damerell

Hundreds more episodes over here...