Thinking is not the ability to manipulate language; it’s the ability to manipulate concepts.

- Leslie Lamport

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

When I write a paper, I change my notation much more than I change my concepts.

- Leslie Lamport

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

- Leslie Lamport

Formatting is no substitute for writing.

- Leslie Lamport

There is a race between the increasing complexity of the systems we build and our ability to develop intellectual tools for understanding their compl…

- Leslie Lamport

"Sometimes" is sometimes "not never".

- Leslie Lamport