预测未来的最好方法就是创造未来。

信仰是伟大的逃避，是逃避思考和评估证据需要的伟大借口。信仰是在缺乏证据的情况下，甚至可能是因为缺乏证据而相信。

文章之所以能永存于天地之间，是因为它能阐明道理、记录政事、体察民间疾苦、乐于称道他人的善行。

The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.

保持谦逊，保持渴望。

我宁愿因为做自己而被讨厌，也不愿因为伪装而被喜爱。