"The world is a game, but the rules are unfair."

The more surreal it is, the more I like it.

伟大的领导者不会告诉你该做什么，他们会向你展示如何去做。

The most successful businesses are those that align their goals with the needs of their customers.

形式化方法不是银弹，但它们是追求可靠系统的重要工具。

I always try to push myself to do something different.