lawrencecpaulson.github.io1 month agoI came to write THAT paper with Leslie LamportArticle URL: https://lawrencecpaulson.github.io//2026/08/21/Lamport.html Comments URL: https://news.ycombinator.com/item?id=49388963 Points: 8 # Comments: 1Visit lawrencecpaulson.github.ioBookmarkAdd to collection