Your work is going to fill a large part of your life, and the only way to be truly satisfied is to do what you believe is great work.
最大的恐惧不是死亡,而是生活。
The past is a foreign country; they do things differently there.
形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
Every building is a prototype, because every building is unique.