【译文】 子贡说：“贫穷却不阿谀奉承，富贵却不狂妄自大，怎样？”孔子说：“可以。不如穷得有志气，富得有涵养的人。”子贡说：“修养的完善，如同玉器的加工：切了再磋，琢了再磨，对吧？”孔子说：“子贡啊，现在可以与你谈诗了。说到过去，你就知道未来。”

模型检查是验证有限状态并发系统正确性的强大技术。

最有力的艺术往往是最个人的。

The causal revolution is about giving machines the ability to reason about the world as we do.

教育不是为生活做准备；教育本身就是生活。