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

Sometimes you gotta do what you gotta do to survive.
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
一本书就是你手中握着的梦想。
Every experiment, whether successful or not, teaches us something valuable.
70岁,我才刚刚开始。等着瞧吧。