企业上云不是选择题，而是必答题。
The real romance is out ahead and yet to come. The computer revolution hasn't started yet. Don't be misled by the enormous flow of money into bad defacto standards for unsophisticated buyers using poor adaptations of incomplete ideas.
The development of formal systems has revolutionized our understanding of mathematics.
I don’t fear losing. I fear not giving my best.
我做事情不是为了得到反应或关注，而是因为我热爱做这些事情。