然后…不知什么原因，我所做的事好像在某些人看来有了意义。我的头脑中好像响起一声警报。我说 “他是个实干家，他拥有所有问题的答案”，我要追随你，甘先生！于是我有了伙伴，然后，我有了更多的伙伴，然后，又有更多的人加入，有人后来告诉我，人们看到了希望，那时我什么也不知道。

In healthcare, speed matters—but accuracy matters more.

Model checking is a powerful tool for verifying the correctness of hardware and software systems.

大兵之间只有一种区别，就是活大兵与死大兵之别。

我不相信纯粹的艺术。