不要因为累了就停下来，完成了再停下来。

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

A society that does not value its intellectuals is doomed to fail.

最好带着某种激情的全部荣耀勇敢地进入另一个世界，而不是随着年龄的增长凄凉地褪色和枯萎。