学者须要自信，既自信，怎生夺亦不得。
学者必须自信，既然自信，无论如何也无法被剥夺。
形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
你知道得越多，就越意识到自己知道得多么少。
The trend is your friend until it ends.
The night is a world lit by itself.
I'm so high, I can hear heaven.
Art is not what you see, but what you make others see.
在我看来，语言是我们最取之不尽的魔法源泉。