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!

A Software Tester's Career Path with Nicola Lindgren 840

A Software Tester's Career Path with Nicola Lindgren

You're not gonna need it with Appsmith's Arpit Mohan 839

You're not gonna need it with Appsmith's Arpit Mohan

Cross-platform UIs with C# and Avalonia with Dan Walmsley 838

Cross-platform UIs with C# and Avalonia with Dan Walmsley

Patterns.dev with Lydia Hallie and Addy Osmani 837

Patterns.dev with Lydia Hallie and Addy Osmani

Site Reliability Engineering with PagerDuty's Stevenson Jean-Pierre 836

Site Reliability Engineering with PagerDuty's Stevenson Jean-Pierre

How kids learn how to Code with MakeCode's Kiki Prottsman 835

How kids learn how to Code with MakeCode's Kiki Prottsman

Pyjion, a JIT compiler for Python using .NET Core with Anthony Shaw 834

Pyjion, a JIT compiler for Python using .NET Core with Anthony Shaw

From Broadway to Engineering to Product with Liana Leahy 833

From Broadway to Engineering to Product with Liana Leahy

Standup Comedy is a Real Job with Alex Falcone 832

Standup Comedy is a Real Job with Alex Falcone

What does it take to go fast? with Fastly's Inés Sombra 831

What does it take to go fast? with Fastly's Inés Sombra

Flutter for Windows with Google's Chris Sells 830

Flutter for Windows with Google's Chris Sells

Voice for Everyone with Hillary Juma from Mozilla Common Voice 829

Voice for Everyone with Hillary Juma from Mozilla Common Voice

Modern Code Generation with Jordan Adler 828

Modern Code Generation with Jordan Adler

Landing Your First UX Design Job with Sharon Onyinye 827

Landing Your First UX Design Job with Sharon Onyinye

Rachel Lim on Fine Tuning OpenAI 826

Rachel Lim on Fine Tuning OpenAI

Game Console 2.0: A Photographic History with Evan Amos 825

Game Console 2.0: A Photographic History with Evan Amos

Hundreds more episodes over here...