如果你做不到，那就去教别人。

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

出自《论语·缁衣》。百姓将国君当做是自己的心脏，国君将百姓当成是自己的身体。内心舒畅，身体便会舒服。内心肃然，这样就会恭敬地对待别人。

The healthy social life is found when in the mirror of each human soul the whole community finds its reflection, and when in the community the virtue of each one is living.

可持续性不是一种选择，而是我们对后代的责任。

我情愿在火星上死去，而不是坠毁其上。

我认为在电影制作中冒险很重要。