"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
写作是一种抵抗。
我一直在谈论成功和失败。成功的有趣之处是，我们时常以为我们知道成功是什么，如果我现在说，这个屏幕后面站着一个非常成功的人，你心里马上就会产生一些想法。你会想，这个人可能很有钱，在某些领域赫赫有名，我对成功的理解是。首先，我是一个对成功非常有兴趣的人，我想要成功，我总是想着“要怎样我才能更成功？”，但当我渐渐长大，我越来越疑惑，究竟什么是“成功”的真正意义。
在这个行业里，如果你很优秀，十次中你会对六次。你永远不会十次中对九次。
Every scientific advancement forces us to confront new ethical questions.
"You join here not to be cool, but to make others cool."
今天我们种下的每一棵树都是留给未来的遗产。