Hanselminutes.播客由Scott Hanselman.

Hanselminutes.播客

从新鲜面孔谈论新技术
Leslie Lamport  - 与ACM ByTecast合作

Leslie Lamport - 与ACM ByTecast合作

显示#790 5月27日2021 播客球员用成绩单帮助在此编辑或修复成绩单!

在与ACM Bytecast和Hanselminutes的合作中,斯科特欢迎2013年AMM。 Laureate Laureate Leslie Lamport Microsoft Research,最着名的是他在分布式和并发系统中的开创性工作,以及作为文件准备系统乳胶的初始开发人员和其第一手册的作者。在他的许多荣誉和承认中,Lamport是ACM的一位学员,并已收到IEEE Emanuel R. Piore奖,Dijkstra奖,以及IEEE John Von Neumann奖章。

莱斯利分享了他的计算之旅,这开始就像他的业余时间只是一个数学家一样。斯科特和莱斯利讨论了计算机科学和软件工程之间的差异和相似性,涉及Leslie的高级时间逻辑(TLA)的数学,这可以帮助解决着名的拜占庭将军问题,而算法莱斯利创建。他还反映了分布式系统的建筑以自60年代和70年代以来的变化。

订阅acm bytecast//learning.acm.org/bytecast

时钟纸http://lamport.azurewebsites.net/pubs/time-clocks.pdf

面包店算法//en.wikipedia.org/wiki/Lamport%27s\_bakery\_algorithm

互斥算法//en.wikipedia.org/wiki/Lamport%27s\_distributed\_mutual\_exclusion\_algorithm

这一集赞助 CBT块和肯尼托

CBT金块
肯辛托
订阅!!我们在上iTunes., Spotify., 谷歌游戏, 推特, or 下载mp3.. Share on 推特Facebook。另外,看看我们的民意调查!

编辑和改善我的展示的Podscribe.ai成绩单!

靠亚伯王诚实地生活 793

靠亚伯王诚实地生活

学习与陕西人教 792

学习与陕西人教

与Jina Anne的设计系统 791

与Jina Anne的设计系统

Leslie Lamport  - 与ACM ByTecast合作 790

Leslie Lamport - 与ACM ByTecast合作

开发人员和安全与Rey Bango 789

开发人员和安全与Rey Bango

用家庭助理自动化所有的东西's Paulus Schoutsen 788

用家庭助理自动化所有的东西's Paulus Schoutsen

社会机器人与de'Aira Bryant 787

社会机器人与de'Aira Bryant

客户同情亚历克斯allwood 786

客户同情亚历克斯allwood

Divya Dhar Cohen博士的医学与技术 785

Divya Dhar Cohen博士的医学与技术

用布莱恩杜格拉斯做开源 784

用布莱恩杜格拉斯做开源

AKITA软件的API可观察性's Jean Yang 783

AKITA软件的API可观察性's Jean Yang

用4月Christina Curley吸引和保留多样化的技术人才 782

用4月Christina Curley吸引和保留多样化的技术人才

外面:与吉姆·麦克奈的创新堆栈 781

外面:与吉姆·麦克奈的创新堆栈

从天文学研究生到高级软件工程师与尼古拉斯亨特沃克 780

从天文学研究生到高级软件工程师与尼古拉斯亨特沃克

It'是一个带有numworks的新类型计算器的时间' Romain Goyet 779

It'是一个带有numworks的新类型计算器的时间' Romain Goyet

乔治李正在推出Mitee Cube卫星并制作Tiktoks 778

乔治李正在推出Mitee Cube卫星并制作Tiktoks

在这里有数百次发作......