对我们工作的真正考验在几十年后,当它仍然被喜爱和使用时。
A story is a way to say something that can't be said any other way.
当你攻击煤炭时,你就是在攻击美国中部地区。
"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."