I came to write THAT paper with Leslie Lamport
By baruchel · 2026-08-21 · 20 points · 6 comments
https://lawrencecpaulson.github.io//2026/08/21/Lamport.html
By baruchel · 20 points · 6 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews