我们开采的每一块煤都在为某个家庭点亮灯光。
Great design is about solving problems, not just making things look good.
从前庄周梦见自己变成蝴蝶,一只翩翩飞舞、快乐自由的蝴蝶。不知道自己本是庄周。顷刻间醒来,惊疑地发现自己仍是庄周。不知是庄周做梦变成蝴蝶,还是蝴蝶做梦变成庄周。庄周与蝴蝶终究是不一样的。这就叫“物化”。
The cause of light is not in the colors, but in the light.
判断两个λ表达式是否等价的问题是无法解决的。