Optimizing compilers are a lot like nuclear power plants. They are both very powerful and very dangerous.

The test of our progress is not whether we add more to the abundance of those who have much; it is whether we provide enough for those who have too little.

I don’t complain, I don’t make excuses, I just try to keep going.

心与物的区分仅适用于由感觉内容构成的逻辑构造。

书籍是最安静、最恒久的朋友；它们是最易接近、最明智的顾问，也是最耐心的老师。

煤炭技术的创新与其他能源领域的创新同样重要。