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)

Vista 64 - Is Now the Time?

Vista 64 - Is Now the Time?

Carl and Scott are both running 64-bit Vista while others wait. Was it the right decision?

7 Sep 200725min

LINQ to XML

LINQ to XML

Scott's been poking around with LINQ to XML and reports his findings to Carl about life with XDocuments and XElements. They also talk about the bridge classes that link (no pun intended) System.Xml and System.Xml.Linq.

31 Aug 200717min

2007 Ultimate Tool List

2007 Ultimate Tool List

Scott and Carl talk about Scott's 2007 Ultimate devoloper and power users tool list.

25 Aug 200731min

Moving your Email into the Cloud - Google for Apps and Live Custom Domains

Moving your Email into the Cloud - Google for Apps and Live Custom Domains

Scott and Carl talk about Scott's Family's recent move to Google Apps and Carl considers moving to Live Custom Domains. What are the benefits of moving your life into the cloud?

17 Aug 200725min

F# with Robert Pickering

F# with Robert Pickering

Scott chats with Robert Pickering, author of Foundations of F#. We ask the question 'Why F#?' and talk about functional languages and some of the features of F# that make it a great introduction to FP for .NET programmers.

10 Aug 200736min

John Lam on Iron Ruby

John Lam on Iron Ruby

Scott sits down with John Lam at OSCON the day that Iron Ruby Pre-Alpha 1 was released, and talks about the announcement to host on RubyForge.

3 Aug 200719min

Jeff Atwood overclocks the Ultimate PC

Jeff Atwood overclocks the Ultimate PC

Scott and Carl talk to Jeff Atwood about the importance of Hardware and Scott addresses some of the questions around Building a Developer PC from Show 69.

27 Juli 200732min

Talking to the Interns

Talking to the Interns

Scott's got two high-school interns working for him this summer. In this episode Scott talks to High School Seniors Eric and Shady about their experience working at Corillian and their thoughts about learning languages and the future of engineering.

20 Juli 200723min

Populärt inom Utbildning

rss-bara-en-till-om-missbruk-medberoende-2
historiepodden-se
det-skaver
alska-oss
nu-blir-det-historia
johannes-hansen-podcast
harrisons-dramatiska-historia
sektledare
allt-du-velat-veta
not-fanny-anymore
rss-sjalsligt-avkladd
roda-vita-rosen
polisutbildningspodden
sa-in-i-sjalen
vi-gar-till-historien
rss-npf-podden
rss-om-vi-ska-vara-arliga
rss-relationsrevolutionen
sektpodden
rss-basta-livet