在这里,失败是一种选择。如果事情没有失败,你就没有足够的创新。
"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
"History is not what happened, but what we remember and how we remember it."