内疚的重量不是用年来衡量,而是用无眠的夜晚。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
在自然界中,没有东西会消失,没有东西会被创造,一切都在转化。
在某种意义上,我们从属于一个涵盖一切的单一心灵、从属于一个单一的“总体人”。
创新不是单一事件,而是一个过程。
世界上充满了愿意的人;一些人愿意工作,其余的人愿意让他们工作。
灵魂被放置在身体里,就像一颗粗糙的钻石,必须经过打磨,否则它的光泽永远不会显现。
The best stories are the ones that leave you with more questions than answers.
The most important single aspect of software development is to be clear about what you are trying to build.