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

The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
I'd rather not have the money and be happy.
The heart is a fragile thing, easily broken but also capable of incredible resilience.
The only way to do great work is to love what you do.