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

Tämä jakso on lisätty Podme-palveluun avoimen RSS-syötteen kautta eikä se ole Podmen omaa tuotantoa. Siksi jakso saattaa sisältää mainontaa.

Jaksot(1000)

Compile after Class Crossover Episode

Compile after Class Crossover Episode

A young man who's a sophomore in high school emailed me to come on his podcast that he does with his friend, and I had so much fun. I decided to make it a crossover episode. Check out "Compile after C...

21 Elo 46min

Robots, Nukes, and AI: A Career at the Frontier with Maynard Holliday

Robots, Nukes, and AI: A Career at the Frontier with Maynard Holliday

Maynard Holliday spent 30+ years at the intersection of robotics, nuclear security, and defense technology, most recently serving as the Assistant Secretary of Defense for Critical Technologies. He's ...

13 Elo 35min

Language Model Builder with Felix Rieseberg

Language Model Builder with Felix Rieseberg

Felix Rieseberg came to computing through poetry, and that background gives him a unique lens for explaining language models. A longtime engineer, Felix now gets to watch AI evolve from the inside. In...

6 Elo 35min

AI and the Software Supply Chain with Endor Lab's Varun Badhwar

AI and the Software Supply Chain with Endor Lab's Varun Badhwar

Varun Badhwar, CEO and Co-Founder of Endor Labs, joins Scott to explore the expanding software supply chain risk in the age of AI-generated code. They discuss how developers have gone from writing cod...

30 Heinä 31min

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 Heinä 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 Heinä 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 Kesä 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 Kesä 38min

Suosittua kategoriassa Koulutus

rss-murhan-anatomia
aamukahvilla
psykopodiaa-podcast
adhd-podi
psykologia
voi-hyvin-meditaatiot-2
koulu-podcast-2
rss-luonnollinen-synnytys-podcast
rss-liian-kuuma-peruna
ilona-rauhala
rss-duodecim-lehti
kesken
rss-vapaudu-voimaasi
rss-koira-haudattuna
rss-niinku-asia-on
rss-rahamania
rss-psykalab
rss-narsisti
rss-arkea-ja-aurinkoa-podcast-espanjasta
rss-uskonto-on-tylsaa