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

Losing oneself in infinity is the highest freedom.
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
你无法改变你周围的人,但你可以改变你选择与谁在一起。
身体为灵魂提供了一个照料和使用的工具。
Your voice can change the world.
宇宙不在你之外。审视你自己;你所渴望的一切,你早已拥有。
As to the gods, I do not know whether they exist or not, or what they are like.