We are survival machines – robot vehicles blindly programmed to preserve the selfish molecules known as genes.

每个角色都是一次新的旅程，一个学习生活和自我新事物的机会。

Don't let fear write your story.

形式化方法不是银弹，但它们是追求可靠系统的重要工具。

可持续性不是一种选择；它是我们对后代的责任。

People are just as wonderful as sunsets if you let them be. When I look at a sunset, I don't find myself saying, "Soften the orange a bit on the right hand corner." I don't try to control a sunset. I watch with awe as it unfolds.

If you don't fail at least 90 percent of the time, you're not aiming high enough.

知道某物是否是艺术的唯一方法，是看它是否改变了你的思维方式。