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

忘记一个人的最好方法就是去找另一个人。
The best way to get over someone is to get under someone else.
一个人有身份有地位的时候朋友很多,但危难时候却没人与之交待。
"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."
我不喜欢解释我的作品。如果能用语言表达,我就不需要画了。
The complexity of software is an essential property, not an accidental one.