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!

Web Assembly's hidden talent with WasmCloud's Kevin Hoffman 816

Web Assembly's hidden talent with WasmCloud's Kevin Hoffman

Understanding Windows 11 new security requirements with David Weston 815

Understanding Windows 11 new security requirements with David Weston

Looking at Azure Yesterday, Today, and Tomorrow with Jason Zander 814

Looking at Azure Yesterday, Today, and Tomorrow with Jason Zander

Climbing high while staying grounded with Annyce Davis 813

Climbing high while staying grounded with Annyce Davis

Dr. Jelani Nelson - in partnership with ACM Bytecast 812

Dr. Jelani Nelson - in partnership with ACM Bytecast

The next generation of AI Dungeon with Latitude's Nick Walton 811

The next generation of AI Dungeon with Latitude's Nick Walton

Building 0 A.D. a free, open-source game of ancient warfare 810

Building 0 A.D. a free, open-source game of ancient warfare

Back to the Technology Future Again with Eric Newcomer 809

Back to the Technology Future Again with Eric Newcomer

Teach Little Hackers to Code Without a Computer with Brandon Tory 808

Teach Little Hackers to Code Without a Computer with Brandon Tory

Finding Your Path to Technology with Krystal Maughan 807

Finding Your Path to Technology with Krystal Maughan

Scaling the Metaverse with Roblox CTO Daniel Sturman 806

Scaling the Metaverse with Roblox CTO Daniel Sturman

Exploring the brain with music and science with Dr. Simón(e) Sun 805

Exploring the brain with music and science with Dr. Simón(e) Sun

Powering Cloud gaming with Rainway's Andrew Sampson 804

Powering Cloud gaming with Rainway's Andrew Sampson

Climbing the Engineering Ladder with Amal Hussein 803

Climbing the Engineering Ladder with Amal Hussein

Tech Startup Life in a Pandemic with QuirkChat's Bee Law 802

Tech Startup Life in a Pandemic with QuirkChat's Bee Law

DevSecOps or SecDevOps with Wabbi's Brittany Greenfield 801

DevSecOps or SecDevOps with Wabbi's Brittany Greenfield

Hundreds more episodes over here...