过去充满了声音——我们只需要倾听。
The past is full of voices—we just have to listen.
生活是一个不断学习的过程。
Who can afford to do professional work for nothing?
I believe that every human has a finite number of heartbeats. I don't intend to waste any of mine running around doing exercises.
Leadership in energy today requires both technical expertise and moral courage.
形式化方法的美在于它们能够提供关于系统行为的绝对保证。