我们感知世界的方式是由我们的期望塑造的，通常，我们看到的就是我们期望看到的。
The way we perceive the world is shaped by our expectations, and often, what we see is what we expect to see.
形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
我不是来追求完美的，我是来展现真实的自己。
In business, as in life, integrity is the foundation of everything we do.
我相信，只要你站起来并前进，生活就会为你敞开大门。有些事情会激励你继续前进。
There is no such thing as a small moment; every moment contains eternity.
When you are young spend at least 6 months to one year living as poor as you can， owning as little as you possibly can， eating beans and rice in a tiny room or tent， to experience what your “worst” lifestyle might be. That way any time you have to risk something in the future you won’t be afraid of the worst case scenario.