News for hackers. Stuff that matters.
Re:Leslie Lamport on Distributed Systems and Precise Thinking by amirmc on Sunday October 19, 2014 @05:03AM (#8477695)
> "Leslie is employed by Microsoft Research ..."

In the SV office, which got shut down. I wonder if he's one of the few who got offered (and accepted) relocation.

Re:Leslie Lamport on Distributed Systems and Precise Thinking by Yawnoc2 on Sunday October 19, 2014 @09:56AM (#8478243)
The way I heard it, the SV office only existed in the first place because Lamport didn't want to move to Seattle. I kind of doubt they didn't offer him relocation, and I kind of doubt he accepted it.
Re:Leslie Lamport on Distributed Systems and Precise Thinking by rxin on Sunday October 19, 2014 @12:38PM (#8478718)