真正的发现之旅不在于寻找新的风景，而在于拥有新的眼光。
The real voyage of discovery consists not in seeking new landscapes, but in having new eyes.
世界充满了光明和生命，真正的罪恶是对此不感兴趣。
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
剪辑是剧本的最终重写。
Sustainability is not a style, it's a responsibility.
我相信讲故事的力量。它可以改变世界。
Writing is a way of making sense of the world, and of making sense of ourselves.
We are all afraid—for our confidence, for the future, for the world.