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)

Monorail - Alternative ASP.NET

Monorail - Alternative ASP.NET

Scott interviews two developers who are betting on Monorail on ASP.NET, an MVC Web Framework inspired by Action Pack.

13 Mars 200727min

Squeezing the most out of Continuous Integration - with Jay Flowers

Squeezing the most out of Continuous Integration - with Jay Flowers

In this long-awaited Part II on Continuous Integration, Scott talks to Jay Flowers, maker of CI Factory about how to squeeze the most out of your Continuous Integration build. If you're not doing CI, this is a great opportunity to start!

6 Mars 200726min

Hiring and Interviewing Engineers

Hiring and Interviewing Engineers

Scott and Carl talk about the "FizzBuzz" test and try to come up with practical techniques for hiring engineers and technical folks.

28 Feb 200731min

End to End Tracing

End to End Tracing

Scott and Carl talk about the End to End (E2E) tracing format, how it relates to WCF and how you can use it to introduce system-wide tracing your large multi-machine or multi-service applications and literally trace a "transaction" from Web to backend and back.

21 Feb 200720min

Static Code Analysis with NDepend

Static Code Analysis with NDepend

Scott and Carl discuss afferent and efferent coupling, and many other code metrics techniques, and wonder why more .NET developers don't use static analysis tools to better understand their designs.

15 Feb 200729min

OpenID

OpenID

Scott and Carl talk about the Microsoft/OpenID collaboration.

8 Feb 200734min

Bruce Payette - Powershell

Bruce Payette - Powershell

In this episode Scott gets the skinny on Powershell with Bruce Payette, one of the founding members of the Windows PowerShell team, co-designer of the PowerShell language and the principal author of the PowerShell language implementation.

1 Feb 200734min

Board Gaming for Programmers

Board Gaming for Programmers

In this episode Scott talks with Chris Brooks and Eli Smith about the evolution and current state of classic board gaming.

23 Jan 200718min

Populärt inom Utbildning

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