改头换面人难悟，走骨行尸我不忧。得意忘形还朴去，从教人笑不风流。
译文：即便我改变了外在的样子，人们依然难以领悟真谛，那些如同行尸走肉般生活的人，我并不为之忧虑。我要尽情地回归质朴纯真，哪怕被人嘲笑不够潇洒风流。
"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
Policymakers should be open to revising their views based on new evidence.
The most important property of a program is whether it accomplishes the intention of its user.
Ambition leads me not only farther than any other man has been before me, but as far as I think it possible for man to go.
The voice is an instrument that everyone has.
