Quality is remembered long after the price is forgotten.

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

"我不是一个人，我是一个声音。"

最重要的是永远不要停止提问。

【释义】见识的少，感受到奇怪的事就多，这是世之常理。【延伸】《误杀》里有一句经典台词：当你看过一千部电影，就会发现这个世界上根本没有离奇的事情。见识越广，计较越少，经历越多，抱怨越少，越闲，越矫情。

Sustainability is the only path forward for our industry. Those who ignore this will be left behind.

今天很残酷，明天更残酷，后天很美好，但绝对大部分人会死在明天晚上。