预测未来的最好方法就是创造未来。
The best way to predict the future is to create it.
I am a very committed wife. And I should be committed too - for being married so many times.
The most important thing is to tell a story that you care about.
"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
关键在于保持谦逊和渴望。