So much to do, so little done, such things to be.
要做的事情有那么多,完成的却只有那么一点。事情就是这样。
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
一切痛苦能够毁灭人,然而受苦的人也能把痛苦消灭!
最好的矿藏往往出现在别人停止寻找的地方。
We must remember that history is written by the victors, but memory is preserved by the vanquished.