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

It was like when you make a move in chess and just as you take your finger off the piece, you see the mistake you’ve made, and there’s this panic because you don’t know yet the scale of disaster you’ve left yourself open to.
"The future of system design lies in the integration of formal methods with traditional engineering practices."
真正的讲故事者不是为了娱乐,而是为了唤醒读者的良知。
想象力比知识更重要。知识是有限的,而想象力则包围着整个世界。