胜利越艰难，赢得的快乐就越大。
The more difficult the victory, the greater the happiness in winning.
"The best way to predict the future is to create it."
"I write to make sense of the world around me."
Patience and persistence are the keys to unlocking the mysteries of mathematics.
我不会让世界定义我的成功。
模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。
（在购并General RE公司后，卖掉其所持有获利不菲价值四十六亿美金的美国零息公债后，债券仍持续大涨时，巴菲特淡淡地表示）
"To write is to wrestle with the demons of the past."
我一直相信衣服应该看起来像被穿过，像是有故事的样子。
