The future of computing lies in the development of systems that can verify their own correctness.
"A writer must be both a thief and a giver."
没有剑的契约只是空话,根本无法保护一个人。
写作是让过去保持活力的一种方式。
所有老年人共享的大秘密是,你在七八十年里真的没有改变。你的身体改变了,但你一点也没变。当然,这会引起很大的困惑。
I write to understand what has happened to me, to transform my shame into language.
每本小说都是一次未知的旅程,即使对写它的人来说也是如此。
货币政策规则的设计应避免自由裁量政策的陷阱,后者往往导致时间不一致性。
The only way to escape the mundane is to constantly transform it.