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

写作是一种不被中断的谈话方式。
"Writing is a way of talking without being interrupted."
Not what we have, but what we enjoy, constitutes our abundance.
Model checking is a powerful tool for verifying the correctness of hardware and software systems.
相机是几何地看,我们不是。
我不是为评论家做音乐,我是为人们做音乐。
看着容易,要学会就很难;千万不要把容易得到的东西看得普通,就不知道珍惜。