形式化方法不是银弹，但它们是追求可靠系统的重要工具。
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
采矿的未来在于智能化和可持续发展。
如果谣言是真的，那我不配住在英国；如果谣言是假的，那么英国不配让我居住。
The stranger is close to us, insofar as we feel between him and ourselves common features of a national, social, occupational, or generally human, nature. He is far from us, insofar as these common features extend beyond him or us, and connect us only because they connect a great many people.
天才不会犯错。他的错误是自愿的，是发现的门户。