Quality is not a function; it is a discipline.
求和者就是希望鳄鱼最后一个吃自己的人。
使生活成为可能的唯一事情是永久的、无法忍受的不确定性;不知道接下来会发生什么。
"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."