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

If you only read the books that everyone else is reading, you can only think what everyone else is thinking.
在一个不自由的世界里,唯一的应对方式就是变得如此绝对自由,以至于你的存在本身就是一种反叛。
The context is the starting point of any project.
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
I'm not afraid to take risks. I'm not afraid to fail.