数学家是将咖啡转化为定理的装置。
A mathematician is a device for turning coffee into theorems.
In mathematics, you don't understand things. You just get used to them.
成功验证的关键是从系统应该做什么的清晰和精确的规范开始。
我们必须找到一种方式来庆祝我们的多样性并辩论我们的分歧,而不分裂我们的社区。
坚持非常重要。你不应该放弃,除非你被迫放弃。
The detective story is the normal recreation of noble minds.
Stay hungry, stay foolish.