The best way to predict the future is to invent it.
预测未来的最好方法就是创造未来。
技术人要有敬畏之心,因为代码可以改变世界。
Fear not for the future, weep not for the past.
The most successful modern states are those that have been able to combine a strong state with the rule of law and democratic accountability.
重要的不是发生在你身上的事情,而是你如何处理发生在你身上的事情。
模型检查是验证硬件和软件系统正确性的强大工具。
设计是人类意图的第一个信号——所以让我们确保这个意图是好的。