真理最大的敌人不是谎言——刻意、虚假且不诚实——而是神话——持久、有说服力却不切实际。
The process of verification is as important as the process of creation in computer science.
我写得越多,我就消失得越多。