You can't change what's already happened, so focus on the present moment.
模型检查是验证有限状态并发系统正确性的强大技术。
伟大的工程以你不理解的方式解决你未曾意识到的问题。
大自然为我们提供了研究生物学的惊人工具；我们只需要知道去哪里寻找。
我不是过去，我是未来。
我们生活中最重要的大部分事情都在我们不在的时候发生。