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

Avsnitt(1000)

A cognition engine for science with Allen Stewart

A cognition engine for science with Allen Stewart

Scott Hanselman sits down with Allen Stewart, Partner Director of Software Engineering at Microsoft, to explore how AI agents with persistent memory are transforming scientific research and software e...

12 Mars 30min

Agentic Workflows with Don Syme

Agentic Workflows with Don Syme

In this episode, Scott talks with Don Syme about the emerging world of agentic developer workflows and what it means when coding tools move from autocomplete helpers to collaborators. They explore how...

5 Mars 33min

Inference Engineering with Baseten's Philip Kiely

Inference Engineering with Baseten's Philip Kiely

This week on the show, Scott talks to Philip Kiley about his new book, Inference Engineering. Inference Engineering is your guide to becoming an expert in inference. It contains everything that Philip...

26 Feb 33min

That's good Mojo - Creating a Programming Language for an AI world with Chris Lattner

That's good Mojo - Creating a Programming Language for an AI world with Chris Lattner

What does it take to design a programming language from scratch when the target isn’t just CPUs, but GPUs, accelerators, and the entire AI stack? In this episode, I sit down with legendary language ar...

19 Feb 41min

The Rise of The Claw with OpenClaw's Peter Steinberger

The Rise of The Claw with OpenClaw's Peter Steinberger

There’s a new wave of AI tools that don’t just live in the cloud, don’t just autocomplete code, and don’t just sit in a browser tab. They reach into your local environment, understand your context, an...

12 Feb 43min

The AI Vampire with Gas Town's Steve Yegge

The AI Vampire with Gas Town's Steve Yegge

AI is making developers dramatically more productive...so why is everyone so exhausted? In this episode, Scott talks with Steve Yegge, legendary blogger and creator of Gas Town, a multi-agent orchestr...

5 Feb 34min

Kinder Code Reviews with AI? with Qodo's Nnenna Ndukwe

Kinder Code Reviews with AI? with Qodo's Nnenna Ndukwe

Code reviews are one of the most powerful tools teams have for maintaining quality — but they're also one of the most emotionally charged parts of the development process. With AI coding agents genera...

29 Jan 30min

Run your AI Agent in a Sandbox, with Docker President Mark Cavage

Run your AI Agent in a Sandbox, with Docker President Mark Cavage

Sandboxing is having a moment. As agents move from chat windows into terminals, repos, and production-adjacent workflows, the question is no longer “What can AI generate?” but “Where can it safely run...

22 Jan 32min

Populärt inom Utbildning

historiepodden-se
rss-bara-en-till-om-missbruk-medberoende-2
det-skaver
alska-oss
harrisons-dramatiska-historia
nu-blir-det-historia
sektledare
rss-viktmedicinpodden
johannes-hansen-podcast
not-fanny-anymore
roda-vita-rosen
i-vantan-pa-katastrofen
rss-sjalsligt-avkladd
allt-du-velat-veta
rss-basta-livet
rss-om-vi-ska-vara-arliga
sa-in-i-sjalen
rss-max-tant-med-max-villman
rikatillsammans-om-privatekonomi-rikedom-i-livet
rss-pa-insidan-med-bjorn-rudman