过去是一个异国他乡；他们在那里的行事方式不同。
The past is a foreign country; they do things differently there.
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
The only way to succeed is to be completely honest with yourself and others.
Don't let the noise of others' opinions drown out your own inner voice.
艺术的本质是揭示隐藏的东西。
"The future of AI lies in making machines that can understand and reason about the world."
我并不是一回到自行车上就赢了。有很多起伏，有好日子也有坏日子。
