"In computer science, we are always trying to find the balance between expressiveness and tractability."

爱护别人的人，别人也必定爱护他；有利于别人的人，别人也必定有利于他；憎恶别人的人，别人也必定憎恶他；伤害别人的人，别人也必定伤害他。

仅仅那山学会下一而是不够的，种大需里当上如有阳光、自由，和一点花的芬芳。

生活中有黑暗也有光明，而你就是那光明中的光明。

Sustainability in mining isn't an option—it's our license to operate.

真正的领导力在于赋能他人成就伟大。