News for hackers. Stuff that matters.
Re:Why we rolled our own consensus algorithm by therein on Thursday November 15, 2018 @03:08PM (#18462824)
You're correct. Lamport has joined MSR in 2001 right after publishing "Time, Clocks, and the Ordering of Events in a Distributed System" and has been there ever since.

I am not sure if he is still at the MV office but he was one of the reasons why MSR kept a presence in MV for a while.

Re:Why we rolled our own consensus algorithm by lou1306 on Thursday November 15, 2018 @08:03PM (#18465222)
Actually "Time, Clocks..." is a paper from the late 70s. Maybe you were thinking of the Paxos paper, "The Part-Time Parliament" (1998)?
Re:Why we rolled our own consensus algorithm by therein on Thursday November 15, 2018 @08:56PM (#18465606)
Yeah, copy-pasted the wrong title and by the time I noticed, it was too late to edit. :)