The future of computing lies in the development of systems that can verify their own correctness.

生命是一种通过性传播的致命疾病。

每个人都想改变世界，但没有人想到改变自己。

我不是来融入的，我是来脱颖而出的。

The best designs are those that solve problems without creating new ones.

I am very much attracted by the mystery of the world, and I think that is the main theme of my poetry.

创造力是具有严肃后果的一种游戏形式。