形式验证的挑战在于弥合抽象模型与实际实现之间的差距。

恭维一向无法软化女人，对男人倒是屡试不爽，这就是男女之别。

I hope that in this year to come, you make mistakes. Because if you are making mistakes, then you are making new things, trying new things, learning, living, pushing yourself, changing yourself, changing your world. You're doing things you've never done before, and more importantly, you're doing something.

Every word carries the weight of all the words that could have been spoken instead.