Fyi... the original video released in 2010 is at channel9 and that website also has download options for offline viewing: https://channel9.msdn.com/Shows/Going

Fyi... the original video released in 2010 is at channel9 and that website also has download options for offline viewing: https://channel9.msdn.com/Shows/Going+Deep/E2E-Erik-Meijer-and-Leslie-Lamport-Mathematical-Reasoning-and-Distributed-Systems https://channel9.msdn.com/Shows/Going+Deep/E2E-Erik-Meijer-a...