在奥林匹克誓言中，我只要求一件事：体育忠诚。
In the Olympic Oath， I ask for only one thing: sporting loyalty.
你给予的越多，收获的就越多。
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
The worst evils in history have always been committed by those who truly believed they were combating evil. Beware of combating evil.
我认为一个简单的商业规则是，如果你先做更容易的事情，那么你实际上可以取得很多进展。
If you can dream it, you can do it.