创新不是口号，而是每天都要做的事情。
"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."
Safety must always come before production targets.
文学的力量在于它能够让不可见的东西变得可见，让沉默的声音被听见。
I don’t let the past hold me back, I let it teach me.
Love me or hate me, it's one or the other. Always has been. Hate my game, my swagger. Hate my fadeaway, my hunger. Hate that I'm a veteran. A champion. Hate that. Hate it with all your heart. And hate that I'm loved, for the exact same reasons."
预测未来的最好方法就是创造未来。
也许每一个男子全都有过这样的两个女人，至少两个。娶了红玫瑰，久而久之，红的变了墙上的一抹蚊子血，白的还是"床前明月光"；娶了白玫瑰，白的便是衣服上沾的一粒饭黏子，红的却是心口上一颗朱砂痣。
君子容易事奉，但要想讨得他的喜欢则很难。以不正当的方式讨他喜欢，他是不会喜欢的；但他在用人上，却能做到量才使用。小人难以事奉，但要想博得他的欢心则很容易。如果以不正当的手段讨他喜欢，他是会喜欢的；但当他用人时，则会求全责备。
Art is the lie that enables us to realize the truth.