The best way to predict the future is to create it.
当我们发现，这个有形世界的结构竟然与纯由数理逻辑与形上之美所导出的概念紧密相符，这难道不是最令我们觉得奥妙与敬畏的吗？
Programming is the art of telling another human being what one wants the computer to do.
I'm not perfect, but I'm always me.
The true value of a forest isn’t just in its timber, but in its ability to sustain life.
A miner's safety should never be measured in cost-benefit analyses.
When you tear out a man's tongue, you are not proving him a liar. You're only telling the world that you fear what he might say.
世界充满了故事，但所有的故事都是一个。
未来属于那些明白“以少做多”不仅是一种选择，而且是一种必然的人。
The world is full of obvious things which nobody by any chance ever observes.