创新不仅仅是创造新产品，而是重新构想我们如何解决问题。
"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
In this business, if you're good, you're right six times out of ten. You're never going to be right nine times out of ten.
In mathematics, the art of proposing a question must be held of higher value than solving it.