作为机器最难的部分是假装是人类。
"The hardest part of being a machine is pretending to be human."
人生就是一列开往坟墓的列车,路途上会有很多站,很难有人可以自始至终陪着走完。当陪你的人要下车时,即使不舍也该心存感激,然后挥手道别。
计算机革命还没有开始。
"Verification is not just about finding bugs; it's about understanding why the system works the way it does."
The most valuable resource in any company is its people.