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

I don't let the past hold me back. I let it propel me forward.
我们必须记住过去,才能更好地面对未来。
The challenge in model checking is not just to find errors, but to understand why they occur.
不克制意志便能高洁,不讲求仁义就能修身,不追求功业名声便能使天下太平,不隐居江海也得静闲,不用导引之术而得高寿,忘掉上面这一切,而又具备这一切。淡然至极,而一切美好的东西都随之而来,这就是天道,圣人之规律。
持续改进不是可选项,而是必须项。
I’m a perfectionist. I’m pretty much detail-oriented.
"To write is to explore the unknown territories of the human soul."