证明是一种可重复的说服实验。
A proof is a repeatable experiment in persuasion.
独自守在窗前,怎样才能熬到天黑
最糟糕的谎言是我们对自己说的谎言。
In every word, there is a piece of the writer's soul.
计算机科学中理论与实践之间的相互作用是推动创新和进步的动力。