地质学不会妥协，我们的标准也不应该妥协。
Geology doesn't compromise, and neither should our standards.
The past is not dead; it is not even past.
"You can love someone so much...But you can never love people as much as you can miss them."
I do not think anything that I have done is of any interest to the general public.
形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
生活是10%发生在你身上的事，90%是你如何应对它。