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

唱歌让我找到了内心的平静。
没有风险的征服是没有荣耀的胜利。
伟大的舞者之所以伟大,不是因为他们的技巧,而是因为他们的激情。
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
"我写让我害怕的东西,因为我相信这是驱除我内心恶魔的最好方式。"