我很幸运能做我喜欢的事情。
在能源领域,我们必须在进步与责任之间取得平衡 - 我们今天的行动塑造着明天的世界。
一个命题的证明是一种性质使得我们相信该命题的过程。
Functions delay binding; data structures induce binding. Moral: Structure data late in the programming process.