Technology itself has no value, it only has value when applied to real life.
技术本身没有价值，只有应用到实际生活中才有价值。
Every building has at least two lives - the one imagined by its maker and the life it lives afterward.
形式化方法的美在于它们能够提供关于系统行为的绝对保证。
世界是一个故事，我们都是其中的角色。
过去总是在我们的生活中存在，塑造着我们的未来。
The only limits that exist are the ones in your mind.
过去半个世纪最重要的政治发展是自由民主在世界范围内的传播。