真正的进步不仅仅以利润来衡量，还以我们对社会的积极影响来衡量。
True progress is measured not just in profits, but in the positive impact we have on society.
Life never exists on its own, but accompanied by loneliness. Whether we are born, we grow up, we fall in love or we succeed and fail, until the end, loneliness exists in a corner of life like a shadow.
My job is not to be easy on people.My job is to take these great people we have and to push them and make them even better.
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
海洋给予我们如此之多，现在是我们通过负责任的做法回馈的时候了。
