模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。
The challenge in model checking is not just to find errors, but to understand why they occur.
Writing is a way of holding onto moments that would otherwise disappear.
应对不自由世界的唯一方法是变得如此绝对自由，以至于你的存在本身就是一种反叛。
学习是系统中产生的任何变化，这种变化或多或少会永久性地改变其适应环境的能力。
最大的风险是不冒任何风险。
我认为最重要的是确保观众在情感上与角色产生共鸣。