生活就是当你忙于制定其他计划时发生的事情。
The future of computing lies in the development of systems that can verify their own correctness.
音乐让我明白,坚持就是胜利。
我不觉得有义务相信,那位赋予我们感官、理性和智力的上帝,会希望我们放弃使用它们。
Market design is an ongoing experiment—what works today may need adjustment tomorrow.