我们需要将软件不仅仅视为代码，而是可以分析和验证的数学对象。
"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
Reality is always richer than any idea we can have of it.
假如我的医生告诉我，我只剩6分钟可活，我不会忧伤，我会把字打的快一点。
You have to be willing to adapt, or you'll be left behind.
"Psychology must be rooted in biology."
The best safety protocols grow from respecting stone's unpredictable nature, not fighting against it.
我不是来被喜欢的，我是来被尊重的。
Never, never and never again shall it be that this beautiful land will again experience the oppression of one by another and suffer the indignity of being the skunk of the world.Let freedom reign!
The only way to do great work is to love what you do.
The only lies for which we are truly punished are those we tell ourselves.