Leslie Lamport Quotes

Thinking doesn't guarantee that we won't make mistakes. But not thinking guarantees that we will.

Writing is nature's way of letting you know how sloppy your thinking is.

A distributed system is one in which the failure of a computer you didn't even know existed can render your own computer unusable.

"Sometimes" is sometimes "not never".

Formal mathematics is nature's way of letting you know how sloppy
your mathematics is.

Formatting is no substitute for writing.

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.