优化编译器很像核电站。它们都非常强大，也非常危险。
Optimizing compilers are a lot like nuclear power plants. They are both very powerful and very dangerous.
All the choir of heaven and furniture of earth - in a word， all those bodies which compose the frame of the world - have not any subsistence without a mind.
减少排放的路径需要多种解决方案，包括效率提升、碳捕获和替代能源。
What we need to do is not to follow, but to lead.
领导力是行动，而非职位。
The process of mathematical discovery is not about reaching a destination, but about the journey itself.
没有食物，人类最多只能活几个星期；没有它，社会正义的所有其他组成部分都毫无意义。
