我们需要将软件不仅仅视为代码,而是可以分析和验证的数学对象。
"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
不要太相信什么正直无私,对任何人都要提高警惕。
创新不仅仅是创造新产品,更是重新构想我们解决问题的方式。
If you can't mine it safely, you shouldn't mine it at all.
You are only as young as the last time you changed your mind.