释义：不要争强好胜，人生百年不过是一场戏。顷刻之间锣鼓声停，不知道哪里是自己的家乡。

"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."

我们从地下开采的金属应该在人与人之间架起桥梁，而不是筑起围墙。

上帝对人类的唯一要求是一颗平静的心。

你知道的越多，你需要的就越少。

The secret of great fortunes without apparent cause is a crime forgotten, for it was properly done.

Education in computer science should inspire creativity and critical thinking.