译文：凡事从自身上找原因，就不会有抱怨了。这就是孟子说的行有不得反求诸己。

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

人类最伟大的成就是我们彼此讲述的故事。

编程语言中最重要的东西是名字。没有好名字的语言不会成功。

成功不在于终点，而在于旅程。

Overfishing is like maxing out a credit card - the heavy price will come due eventually.