"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
The greatest discoveries are often the result of many small steps.
The best way to predict the future is to create it.
"The best children's books are those that respect the intelligence of the child."