Keep shining, the world needs your light.

"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."

他人的目光是我们的牢笼；他们的想法是我们的囚笼。

可持续性不是一种趋势——而是我们对后代的责任。

In the old world， you devoted 30% of your time to building a great service and 70% of your time to shouting about it. In the new world， that inverts.

没有什么比多数人容易被少数人统治更令人惊讶的了。