"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."
讲故事的力量在于它把我们与他人的人性联系起来。
"The truth is, you don't know what is going to happen tomorrow. Life is a crazy ride, and nothing is guaranteed."
Great histories are written with ink and blood.
"Tennis is a sport where you have to be strong mentally and physically, but the mental part is even more important."
To be one, to be united is a great thing. But to respect the right to be different is maybe even greater.