模型检查的挑战不仅在于发现错误,还在于理解它们为何发生。
超自然就是未被理解的自然。
"The more you try to control the game, the more it controls you."
"There is no greater agony than bearing an untold story inside you."
我们生来孤独,死时孤独,尽管有浪漫杂志的渲染,终有一天回望人生时会发现,即便有人相伴,我们始终孤独。
The best way to predict the future is to create it.