形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
我不是说唱歌手,我是一个说话的传奇。
Rest satisfied with doing well, and leave others to talk of you as they please.
Ignorance more frequently begets confidence than does knowledge.
事实是,你永远无法确定接下来会发生什么。
I'm not gonna sing about love if I don't feel it.
2016年:贝索斯致股东信《每天都要像创业的第一天那样》
The most expensive thing in the world is trust. It can take years to earn and just a matter of seconds to lose.