夜晚是启示的时刻。
我们需要将软件不仅仅视为代码，而是可以分析和验证的数学对象。
成功会让人忘记最初让他们成功的习惯。
We must not always talk in the market-place of what happens to us in the forest.
时间碾碎万物，一切都因时间的力量而衰老，在时间的流逝中被遗忘。