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

我们需要将软件不仅仅视为代码,而是可以分析和验证的数学对象。
我不记得活着的理由了,而我记得的时候,那个理由又没有说服力。
The only way to tell the truth is to speak without a mouth.
我们这个时代最重要的政治挑战是创建强大、有效和负责任的国家。
"In the silence between words, the truth often resides."
如果你不愿意冒险尝试不寻常的事情,你就只能安于平庸。
La vertu ne peut aller sans la liberté.