未来属于那些能够明智利用能源的人。

The study of automata and formal languages is fundamental to understanding the limits of computation.

The past is never dead. It's not even past.

在安全计算的领域，我们努力实现不可能的事情：用我们看不到的数据进行计算。

I'm not a role model, but if it makes you sleep better at night, call me what you want.

善不是出自内心的，不能保留；行为不能从自身辩明的，不能去做。善不是出自内心的，只能够勉强支撑一时，必然不能长久。所以也只能使伪善。