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

我相信讲故事的力量。这是我们理解世界的方式。

"In luxury, you have to dream. If you don’t dream, you don’t create."

心灵研究必须基于生物学。

I hope that in this year to come, you make mistakes. Because if you are making mistakes, then you are making new things, trying new things, learning, living, pushing yourself, changing yourself, changing your world. You're doing things you've never done before, and more importantly, you're doing something.

不要害怕在厨房里失败，那里能学到最好的教训。