Failure is simply the universe's way of teaching you what not to do next time.

先读经书，再读史籍，以经论史，评论古人史事，就不会与圣贤相悖；研读史籍，再温经书，以史证经，读书目的升华，决不仅为章句之学。

The bond market is the ultimate barometer of market confidence.

It's important to speak up for yourself and what you believe in.

The people who are crazy enough to think they can change the world are the ones who do.

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

Courage is resistance to fear, mastery of fear - not absence of fear.