我们需要将软件不仅仅视为代码,而是可以分析和验证的数学对象。
The motor of our ingenuity is the question ‘Does it have to be like this?’, from which arise political reforms, scientific developments, improved relationships, better books.
穷人别无选择,只能诚实。富人有资本不诚实。
I don't want to be a star. I want to be a legend.