The Internet should be a tool for empowerment, not control.

Writing is the only thing that, when I do it, I don't feel I should be doing something else.

Every immigrant carries an invisible suitcase of memories.

唯一真正的罪过是后悔。

领导是一种孤独的工作。如果你不能承受孤独，那么你就不适合领导。

Life is fragile. We’re not guaranteed a tomorrow so give it everything you’ve got.

形式验证的挑战在于弥合抽象模型与实际实现之间的差距。

The only way to make sense out of change is to plunge into it, move with it, and join the dance.

"The more you win, the more you want to win."

自然的统一性不是我们发现的事实，而是我们对它提出的要求。