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

唯一比被人议论更糟糕的事,就是无人议论。
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
"I always try to be honest with myself and with others."
伟大表演的关键是倾听。如果你倾听,你会真实地反应。
现实是一个视角问题;你离过去越远,它看起来就越具体和可信——但当你接近现在时,它不可避免地显得越来越不可思议。