A distributed system is one in which the failure of a computer you didn't even know existed can render your own computer unusable.
β Leslie Lamport
The most helpful Leslie Lamport quotes to get the best of your day
Thinking doesn't guarantee that we won't make mistakes. But not thinking guarantees that we will.
"Sometimes" is sometimes "not never".
When I write a paper, I change my notation much more than I change my concepts.
Thinking is not the ability to manipulate language; itβs the ability to manipulate concepts.