3 ms·

At his age, every time I see a headline about Lamport, my first thought is "shit, has he died!?". Thankfully not.