3 ms·
Lamport+Microsoft was the first thing that I thought of when I read the comment. FWIW he retired at the beginning of this year.
by dfc 1y ago
Lamport+Microsoft was the first thing that I thought of when I read the comment. FWIW he retired at the beginning of this year.