生命太短,不能长时间记恨。
写作就是呼吸、生活、超越身体的限制而存在。
"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."