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)

Take hold of your own performance with Ash Coleman Hynie

Take hold of your own performance with Ash Coleman Hynie

Ash Hynie created CountrPT as to bridge the gap between manager perception and employee impact. Folks are tired, folks feel micro-managed, there's all this talk about return to office (RTO). Did we hire grown adults or not? What's the right way to manage technical teams, remote or other wise? How do we build relationships within our teams and with our managers where we can get direct and clear feedback about the needs of the business while still respecting that humans have feelings?https://countrpt.io/

9 Jan 32min

Modernizing .NET Applications with Tomáš Herceg

Modernizing .NET Applications with Tomáš Herceg

Tomáš Herceg is the CEO of Riganti and his company focuses on .NET and modernization. He chats with Scott about the excitement around updating to .NET 8 and 9. There's so many benefits to modern .NET but there's a lot of confusion about what's possible. Can you really update 5, 10, 20 year old apps and bring them into a modern cloud environment? Tomáš has written a new book on .NET Modernization that is available now!https://www.modernizationbook.com - Hanselminutes listeners can get 10% off with coupon HANSELMINUTES10 from Jan 10 to April 1, 2025https://www.riganti.cz/https://www.dotvvm.com/

2 Jan 30min

What is AI's UI? with Maggie Appleton

What is AI's UI? with Maggie Appleton

Maggie Appleton makes visual essays about programming, design, and anthropology. She's been thinking about how we interact with computers - and AI - longer than you've know about AI. She sits down with Scott to discuss how we interact with our computers through an anthropological lens.https://maggieappleton.com

26 Dec 202435min

Next steps for Open Sauced with Brian Douglas

Next steps for Open Sauced with Brian Douglas

Brian Douglas is the founder and CEO of Open Sauced where he works on increasing the knowledge and insights of open-source communities. In the past he’s lead Developer Advocacy at GitHub by fostering a community of early adopters through content creation showcasing the newest Github features. Open Sauced just joined the Linux Foundation and we learn how and why that move happened on this episode!https://opensauced.pizza/blog/bridging-the-gap-organizational-insights

19 Dec 202433min

The Boring Edition with Shopify's Glen Coates

The Boring Edition with Shopify's Glen Coates

The Shopify Winter 2025 Edition is out and it's Boring. Scott talks with Shopify VP of Product Development Glen Coates about the need to sometimes slow down and make software better...even if it's boring. Is it boring if it just works? If it's super reliable and does exactly what you want it to do? Glen breaks down how they do software at Shopify on this episode.https://www.shopify.com/editions/winter2025

11 Dec 202437min

The Return of Scott's Wife Mo

The Return of Scott's Wife Mo

Join us for this very special episode as Scott's wife Mo returns for a 2024 check in. Mo and Scott are coming up on 25 years of marriage. How do they make it happen? Do they consider themselves a mixed marriage - and is it cultural or is it just that Scott is a weird computer person?

5 Dec 202436min

.NET Aspire with Anthony Simmon

.NET Aspire with Anthony Simmon

Let's hear about .NET Aspire from a real-world practitioner! Anthony Simmon has been using .NET Aspire at as a Staff Software Developer at Workleap and he's been blogging his experiences and improvements! Let's talk to Anthony about what he likes and doesn't like about .NET Aspire and how it's making his multi-container development better on his local machines!https://anthonysimmon.com/

28 Nov 202434min

Managing secrets with Onboardbase and Dante Lex

Managing secrets with Onboardbase and Dante Lex

Dante Lex saw a problem with developers losing track of - and sometimes checking in secrets - so he and his team started Onboardbase to make secret management easy and secure from project creation to production. Scott chats with Dante about his philosophy of systems design, why secrets management is the next frontier in software, and why Onboardbase is for everyone. https://www.onboardbase.com/

21 Nov 202431min

Populärt inom Utbildning

rss-bara-en-till-om-missbruk-medberoende-2
historiepodden-se
det-skaver
alska-oss
johannes-hansen-podcast
nu-blir-det-historia
allt-du-velat-veta
harrisons-dramatiska-historia
sektledare
roda-vita-rosen
rss-makabert
rss-sjalsligt-avkladd
not-fanny-anymore
rikatillsammans-om-privatekonomi-rikedom-i-livet
rss-max-tant-med-max-villman
sa-in-i-sjalen
dumforklarat
rss-npf-podden
efterlevandepodden
vi-gar-till-historien