You can't let praise or criticism get to you. It's a weakness to get caught up in either one.
形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
If you don't give up, you still have a chance. Giving up is the greatest failure.
最高尚的快乐是理解的喜悦。
你们是被惯性所引导,还是追随自己内心的热情?
I'm only rich because I know when I'm wrong... I basically have survived by recognizing my mistakes.