λ演算不仅仅是一种形式主义，而是一种可以表达计算的语言。

云计算的本质是让计算资源像水电一样，随时随地按需使用。

北极仅有一盏路灯，南极也只有一盏；唯独北极的点灯人和他南极的同行，过着闲逸懒散的生活：他们每年只工作两次。

In the energy sector, we must balance progress with responsibility - our actions today shape tomorrow's world.

不义的人不能让他富裕，不义的人不能让他显贵，不义的人不能给他信任，不义的人不使他接近。 

听我说，朋友，希望是件危险的事。希望能叫人发疯。