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

I'm not a king, I'm not a god, I'm just a man who's trying to make sense of the world.
The more you read, the more you will see that the same stories are told over and over again, just with different characters and settings.
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
存在是一种风险,但不存在也是一种风险。
A free press can be good or bad, but, most certainly, without freedom, the press will never be anything but bad.
电影是一面镜子,反映了我们所生活的社会,包括其中的瑕疵。
Profitability and purpose are not mutually exclusive.