Leslie Lamport - in partnership with ACM Bytecast

Leslie Lamport - in partnership with ACM Bytecast

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

Denne episoden er hentet fra en åpen RSS-feed og er ikke publisert av Podme. Den kan derfor inneholde annonser.

Episoder(1000)

Stack Overflow for the Agent Era - with VP of Product Alex Lato

Stack Overflow for the Agent Era - with VP of Product Alex Lato

Alexandra Lato, VP of Product at Stack Overflow, joins Scott to talk about how Stack Overflow is evolving for the age of AI agents. They explore the new "Stack Overflow for Agents" feature, where a si...

23 Jul 33min

Who is left behind when AI moves fast? with Dr. Chinasa T. Okolo

Who is left behind when AI moves fast? with Dr. Chinasa T. Okolo

Dr. Chinasa T. Okolo is the Founder and Scientific Director of Technecultura and a consultant for the United Nations and the World Bank. She talks with Scott about the yawning gap between AI's pace of...

16 Jul 34min

The space between the Commits with Zed and DeltaDB's Nathan Sobo

The space between the Commits with Zed and DeltaDB's Nathan Sobo

Scott talks with Nathan Sobo, CEO and co-founder of Zed, about what comes after the traditional code editor. They start with Zed’s vision for a fast, collaborative, AI-native development environment, ...

18 Jun 33min

Braille Is Freedom with Bristol Braille's Ed Rogers

Braille Is Freedom with Bristol Braille's Ed Rogers

On this episode of Hanselminutes, Scott talks with Ed Rogers of Bristol Braille Technology about the Canute project and the long road toward affordable multiline Braille. Most refreshable Braille disp...

11 Jun 38min

"Observabilitying" the Future of Software with Charity Majors

"Observabilitying" the Future of Software with Charity Majors

Charity Majors is the co-founder and CTO of Honeycomb.io, where she pioneered the concept of modern observability for distributed systems. Before Honeycomb, she spent years at Parse (acquired by Faceb...

4 Jun 32min

Cloud Commitments Without the Lock-In with Archera's Aran Khanna

Cloud Commitments Without the Lock-In with Archera's Aran Khanna

Scott talks with Aran Khanna, co-founder and CEO of Archera, about a new category of cloud financial tooling: "Insured Commitments." Instead of locking into 1- or 3-year reserved instance contracts an...

14 Mai 31min

How IBM Z Is Modernizing Mainframes with Skyla Loomis

How IBM Z Is Modernizing Mainframes with Skyla Loomis

Scott talks with Skyla Loomis, General Manager of IBM Z Software, about the ongoing relevance of mainframes in 2026. They discuss the enduring power of mainframes, how generative AI is transforming CO...

7 Mai 31min

Making opinionated AI tooling decisions with Nimbalyst's Greg Hinkle

Making opinionated AI tooling decisions with Nimbalyst's Greg Hinkle

Greg Hinkle, co-founder of Nimbalyst and former VP of Software Engineering at Salesforce, joins Scott to discuss the future of AI-assisted development. They explore the challenges of managing multiple...

30 Apr 31min

Populært innen Fakta

fastlegen
dine-penger-pengeradet
relasjonspodden-med-dora-thorhallsdottir-kjersti-idem
mikkels-paskenotter
foreldreradet
treningspodden
rss-kunsten-a-leve
rss-strid-de-norske-borgerkrigene
sinnsyn
gravid-uke-for-uke
hverdagspsyken
fryktlos
rss-sarbar-med-lotte-erik
dopet
rss-bisarr-historie
jakt-og-fiskepodden
rss-renters-rente
hagespiren-podcast
tomprat-med-gunnar-tjomlid
sovnlos