译文：有茶喝有肉吃的时候，身边就有很多朋友兄弟，等遇到困难的时候，身边就没有一人帮忙。赏析：当我们有利用价值的时候，身边不会缺少朋友兄弟，可当我们身处困境时，又有多少朋友会伸出援助之手呢。所以，交朋友不求多，只要真心的几个就行，远离身边的酒肉朋友。

形式验证的挑战在于弥合抽象模型与实际实现之间的差距。

"A book is a small miracle."

我学到的最重要的事情是，完成某件事的最好方法就是开始。

数学的研究就像空气或重力——它无处不在，你看不到它，但你知道它在那里。

透明建立信任，而信任是任何成功企业的基础。

言语的力量可以改变人生。

如果两分钟后觉得无聊，就试四分钟。如果仍然无聊，就八分钟。然后十六分钟。然后三十二分钟。最终你会发现它一点也不无聊。