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

对习俗和法律的遵从很容易成为对谎言的掩饰,这种掩饰极为巧妙,令人无法察觉。它可以使我们逃避所有的批评,它甚至能够使我们欺骗自己,令我们相信自己是 显然正当的。但是无论他的正当性得到多少公众舆论或道德准则的支持,在内心深处、在普通人的意识层次之下,他仍听到一个低低的声音:“哪儿有点不正常”。
技术可以帮助我们监测森林,但智慧教会我们如何保护它们。
一个好故事应该让你又哭又笑,最后吐出来。
If the highest aim of a captain were to preserve his ship, he would keep it in port forever.
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."