"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
我一直在谈论成功和失败。成功的有趣之处是,我们时常以为我们知道成功是什么,如果我现在说,这个屏幕后面站着一个非常成功的人,你心里马上就会产生一些想法。你会想,这个人可能很有钱,在某些领域赫赫有名,我对成功的理解是。首先,我是一个对成功非常有兴趣的人,我想要成功,我总是想着“要怎样我才能更成功?”,但当我渐渐长大,我越来越疑惑,究竟什么是“成功”的真正意义。
The world is a tragedy to those who feel, but a comedy to those who think.
在量子力学的领域里,观察者和被观察者密不可分,这对我们关于现实的经典观念提出了挑战。