我们需要将软件不仅仅视为代码，而是可以分析和验证的数学对象。
"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
The greatest of evils and the worst of crimes is poverty.
"The only way to deal with an unfree world is to become so absolutely free that your very existence is an act of rebellion."
You can't predict. You can prepare.
我们正在从以商品生产为基础的经济转向以信息生产为基础的经济。
没有一些目标和一些努力去实现它们，没有人能够生存。我们所谓的生活是一场旅程，而旅程本身就是家。