史记

我们不追随潮流，我们只做对我们来说感觉对的事情。

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

The only person you should try to be better than is the person you were yesterday.

The city never sleeps, and neither do I.

真正的领导力是关于服务他人并帮助他们发挥全部潜力。