事实是你不知道明天会发生什么，生活是疯狂的旅程，没有什么是确定的。
The truth is you don't know what is going to happen tomorrow. Life is a crazy ride, and nothing is guaranteed.
"We're all just a bunch of guys trying to do something great."
孔子说：“颜回真贤德！一篮饭，一瓢水，在陋巷，人人都愁闷，他却乐在其中。颜回真贤德！
The best way to have a good idea is to have a lot of ideas.
The only thing I can control is my effort and my attitude.
形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
预测未来的最好方法就是去发明它。