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)

Be a Better Developer in Six Months

Be a Better Developer in Six Months

Justice Gray asked folks 'What are you doing for the next 6 months to be a better developer?' In this episode, Scott and Carl kick the question around.

13 Juli 200723min

Windows Home Server

Windows Home Server

Scott talks to Charlie Kindel about the upcoming Windows Home Server, formerly Project Q and how you can backup your life.

6 Juli 200733min

Interview with Timothy Ferriss of The Four Hour Workweek

Interview with Timothy Ferriss of The Four Hour Workweek

Scott sits down with New York Times Best Selling Author Timothy Ferriss of the 4-Hour Workweek. Tim has an interesting take on how to focus on what's important in your life and offers techniques to be more effective. Scott comes at it from the programmer's perspective.

29 Juni 200731min

Building a Developer PC

Building a Developer PC

Scott and Carl chat about building your own PC with a focus on the developer, rather than the gamer.

22 Juni 200732min

Orcas Overview

Orcas Overview

What's the big deal about Orcas, er, Visual Studio 2008? Scott sits down with his partner in crime, Patrick Cauldwell, and chat about .NET 2.0, 3.0, 3.5, oh my! They also talk a bit about dynamic languages, VB 10, and LINQ.

15 Juni 200726min

Hanselminutae-four

Hanselminutae-four

Scott and Carl Discuss recent technology changes and upgrades in this the fourth installment of Hanselminutiae.

8 Juni 200725min

Setting up a Home Network

Setting up a Home Network

Scott and Carl talk about home networking: dos and don'ts, gotchas and such.

1 Juni 200729min

Scott talks to Martin Fowler and David Heinemeier Hansson

Scott talks to Martin Fowler and David Heinemeier Hansson

Scott sits down with Martin Fowler of Thoughtworks and David Heinemeier Hansson of 37 signals and talks about beauty, making developers happen, the death (or life) of HTML, the future of Microsoft, and asks if we should care about Rich Internet Applications. DHH is the creator of the Ruby on Rails framework, and Martin Fowler is the Chief Scientist at ThoughtWorks, well-known systems architect and Extreme Programming expert.

25 Maj 200751min

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
sektledare
allt-du-velat-veta
roda-vita-rosen
harrisons-dramatiska-historia
not-fanny-anymore
rss-sjalsligt-avkladd
sa-in-i-sjalen
polisutbildningspodden
vi-gar-till-historien
rss-npf-podden
rss-relationsrevolutionen
rss-basta-livet
psykologsnack
rss-max-tant-med-max-villman