DNA分子是所有生命的基础，理解它就是理解生命本身。

Quiet people have the loudest minds.

The truth, as always, will be far stranger.

I like to take things that people don't consider art and make them art.

"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."

我相信努力工作并忠于自己。

创新是互联网未来的关键。

经验只是我们给错误起的名字。