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. - Leslie Lamport
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
A distributed system is one in which the failure of a computer you didn't even know existed can render your own computer unusable.
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
Thinking doesn't guarantee that we won't make mistakes. But not thinking guarantees that we will.
Formatting is no substitute for writing. - Leslie Lamport
Formatting is no substitute for writing.
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
There is a race between the increasing complexity of the systems we build and our ability to develop intellectual tools for understanding their compl…
"Sometimes" is sometimes "not never". - Leslie Lamport
"Sometimes" is sometimes "not never".
Login to join the discussion
Login to join the discussion