Men become civilized, not in proportion to their willingness to believe, but in proportion to their readiness to doubt.
We must rethink our relationship with nature to ensure long-term survival.
Memory is a fragile thing, easily distorted by time and politics.
我们才刚刚开始。
时间存在的唯一理由是让一切不会同时发生。
模型检查是验证有限状态并发系统正确性的强大技术。
我相信创造的激情。没有激情，你一无所有。
I want to run a good race, to run a good time, and to enjoy it.