Every dictatorship is a system of organized forgetting.
每个独裁政权都是精心组织的遗忘系统。
安全必须始终优先于生产目标。
模型检查是验证硬件和软件系统正确性的强大工具。
I never think about the future. It comes soon enough.