The moment you cheat for the sake of beauty, you know you're an artist.

晏子春秋

My job as a leader is to make sure everybody in the company has great opportunities, and that they feel they’re having a meaningful impact and are contributing to the good of society.

背叛的那一刻是最糟糕的，当你毫无疑问地知道自己被背叛的那一刻：那一刻你宁愿死去。

"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."

真正的智能一定是能够理解、推理和决策的。