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

I think that the most important thing is to be honest with yourself and with your audience.
"Sometimes the hardest part isn't letting go but learning to start over."
死亡有它的启示:巨大的悲伤会打开心扉,也会打开头脑。
"Kindness is a language that everyone can understand."
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
The road to hell is paved with works-in-progress.