每个成功项目的中间阶段看起来都像一场灾难。
我不考虑类型,我考虑故事。
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
When players scold you, it's a good thing—it means they still care. The most terrible thing is silence.
数学和物理学之间的相互作用是宇宙的舞蹈,由自然法则编排。
译文:人生要及时行乐,等到老了再看花,只会觉得凄凉。