I've never known anyone who was what he or she seemed; or at least, was only what he or she seemed.
"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
The most successful societies in the future will be those that are able to combine the strengths of both the state and the market.
The novel is the highest example of subtle inter-relatedness that man has discovered.
比如说,你下午四点钟来。那么从三点钟起,我就开始感到幸福。时间越临近,我就越感到幸福。到了四点钟的时候,我就会坐立不安:我就会发现幸福的代价。