关于神,我不知道他们是否存在,也不知道他们是什么样子。
The difference between a good business and a bad business is that good businesses throw up one easy decision after another. The bad businesses throw up painful decisions time after time.
"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."