计算的未来在于开发能够自我验证正确性的系统。

The writer cannot be a mere storyteller; he cannot be a mere teacher; he cannot be a mere entertainer. He must be all of these and more.

活着就是受苦，生存就是在苦难中找到某种意义。

Without lies, humanity would perish of despair and boredom.

The greatest crimes are not committed by those who break the rules, but by those who follow them to the letter.