Leslie Lamport quotes
-
“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 -
“Writing is nature's way of letting you know how sloppy your thinking is.”
-- Leslie LamportSource : "Why We Should Build Software Like We Build Houses" by Leslie Lamport, www.wired.com. January 25, 2013.
-
“There is a race between the increasing complexity of the systems we build and our ability to develop intellectual tools for understanding their complexity. If the race is won by our tools, then systems will eventually become easier to use and more reliable. If not, they will continue to become harder to use and less reliable for all but a relatively small set of common tasks. Given how hard thinking is, if those intellectual tools are to succeed, they will have to substitute calculation for thought.”
-- Leslie Lamport -
“Formatting is no substitute for writing.”
-- Leslie Lamport -
-
“When I write a paper, I change my notation much more than I change my concepts.”
-- Leslie Lamport -
“Thinking is not the ability to manipulate language; it’s the ability to manipulate concepts.”
-- Leslie Lamport -
“Thinking doesn't guarantee that we won't make mistakes. But not thinking guarantees that we will.”
-- Leslie LamportSource : "Why We Should Build Software Like We Build Houses". www.wired.com. January 25, 2013.
-
-
Source : "Stars Rise at Startup Summer Camp" by Ryan Singel, www.wired.com. September 13, 2005.
-
“I don't understand technology, and I'm very scared of it.”
Source : "The Accidental Success of Adam Driver". Interview with Alex Morris, www.rollingstone.com. January 20, 2014.
-
Source : YouTube Channel "Jeff Gonis"/"Alan Kay at OOPSLA 1997 - The computer revolution hasnt happened yet", www.youtube.com. February 11, 2013.
You may also like:
-
Alan Kay
Computer Scientist -
Alan Perlis
Computer Scientist -
Alan Turing
Mathematician -
Bill Gates
Investor -
Bjarne Stroustrup
Scientist -
Butler Lampson
Computer Scientist -
David Gries
Computer Scientist -
Dennis Ritchie
Computer Scientist -
Donald Knuth
Computer Scientist -
Edsger Dijkstra
Computer Scientist -
Fred Brooks
Software Engineer -
John von Neumann
Mathematician -
Martin Gardner
Science writer -
Niklaus Wirth
Computer Scientist -
Satya Nadella
Executive -
Steve Ballmer
Businessman -
Tony Hoare
Computer Scientist -
Whitfield Diffie
Cryptographer -
Silvio Micali
Computer Scientist