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

"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."
I want the reader to feel something is astonishing—not the 'what happens' but the way everything happens.
The most important thing in the programming language is the name. A language will not succeed without a good name. I have always been careful with names I have chosen.
The world is a mirror, reflecting back what we bring to it.