—— 请按键盘 空白键 开始游戏 ——

我的动力来自于对这项运动的热爱。
真正的道路是沿着一条不是高悬在空中而是略高于地面的绳索。它似乎更多是为了让人绊倒而不是让人行走。
撰写一生就像拼凑一幅马赛克,其中一些碎片不可避免地缺失了。
模型检查的挑战不仅在于发现错误,还在于理解它们为何发生。
如果我们了解别人的想法就会知道没有人是普通的,每个人都至少值得大家起来为他鼓一次掌。
The city is about intensity, concentration, and diversity.