写作是一种理解混乱的方式。

"The world is a fine place and worth the fighting for."

程序最重要的属性是它是否实现了用户的意图。

那些能够忍受命运最糟糕打击的人，往往是最坚强的人。

模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。

You have to stand up and say, 'There's nothing wrong with me or my shape or who I am, you're the one with the problem!'

"Books are the most powerful weapons in the world."

朗兰兹纲领是对我们理解数学真理本质的挑战。