I'm not a perfect person, I never claimed to be. But I'm trying every day to be better than I was yesterday.
The greatest mistake you can make in life is to be continually fearing you will make one.
若要可爱的眼睛,要看到别人的好处。
Don't be afraid of failure, failure is the necessary path to success.
形式验证的挑战在于弥合抽象模型与实际实现之间的差距。