Poverty is not just a lack of money; it is the absence of viable choices.
贫穷并不等于缺乏意志力，而是缺乏选择。
"I write to make sense of the world around me."
Everybody counts or nobody counts.
故事的力量不在于它的真实性，而在于它能够将我们与人类的经验联系起来。
成功投资的关键是将你支付的价格与你获得的价值联系起来。
你越努力，就越幸运。
Model checking is a powerful tool for verifying the correctness of hardware and software systems.
