每位科学家都有责任考虑他们工作的更广泛影响。
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
La ironía es un arma poderosa contra la estupidez.
幸福是一种内在的工作。
If humanity doesn’t land on Mars in my lifetime, I would be very disappointed.
"Courage is not the absence of fear, but the will to act in spite of it."
热爱传统从来没有削弱过一个国家.传统就是生死时刻用来救命的.
The end is in the beginning and yet you go on.