程序最重要的属性是它是否实现了用户的意图。

I’m a very positive thinker, and I think that is what helps me the most in difficult moments.

我们对宇宙了解得越多，就越意识到我们不知道的还有很多。

投资于更清洁的煤炭技术就是投资于我们星球的未来。

当一件事情足够重要时，即便缺乏胜算，你也要去做。