每个成功项目的中间阶段看起来都像一场灾难。

我不考虑类型，我考虑故事。

形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。

When players scold you, it's a good thing—it means they still care. The most terrible thing is silence.

数学和物理学之间的相互作用是宇宙的舞蹈，由自然法则编排。

译文：人生要及时行乐，等到老了再看花，只会觉得凄凉。