If we find the answer to that, it would be the ultimate triumph of human reason - for then we would know the mind of God.
如果我们能找到答案，那将是人类理性的终极胜利 — 那时我们就能洞悉上帝的思想。
"A writer is a world trapped in a person."
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
The wild is a place of uncertainty. To survive, you have to embrace the unknown.