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

We must stop just talking about change and start acting.
"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."
不被嘲笑的梦想,是不值得去实现的。
I write to remember, to not let the past slip away.