Leslie Lamport Retires (lamport.org)

6 points by cocoa19 1y ago ↗ HN

3 comments

[ 4.9 ms ] story [ 7.1 ms ] thread

[dead] cocoa19 1y ago ↗

[flagged]

[deleted] 1y ago ↗

(comment deleted)

[deleted] 1y ago ↗

(comment deleted)