The best ideas often come from the people closest to the problem.
最好的想法往往来自最接近问题的人。
I’ve learned that life is too short to be anything but happy.
我们需要将软件不仅仅视为代码，而是可以分析和验证的数学对象。
书，是文字的总扩展。
The world is a plot, a conspiracy, a cabal.
The secret to success is to keep moving forward.
消费者，据说就是国王……每个人都是选民，用钱作为选票来完成他想做的事情。
The theory of computation is not just about solving problems, but also about understanding the limits of what can be computed.
投机者是观察未来并在未来发生之前行动的人。
Mathematics is the science of patterns, and nature exploits every possible pattern.