我专注于一件事，而且只有这件事，那就是尽我所能地赢到越多冠军。

一个没有书籍的世界是一个没有光明的世界。

音乐就是我的呼吸，没有它我活不下去。

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

Strategy is about making choices, trade-offs; it's about deliberately choosing to be different.

生命太短暂，不要带着遗憾醒来。

在科学问题上，一千个人的权威抵不上一个人的谦逊推理。

Wrinkles should merely indicate where smiles have been.