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

"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
The harmony between humans and nature is the ultimate goal.
Don't get involved in partial problems, but always take flight to where there is a free view over the whole single great problem, even if this view is still not a clear one.