世界上充满了这样的人,他们对满意未来的概念实际上是对理想化过去的回归。
不要害怕你的生活将要结束,应该担心你的生活永远不会真正开始。
山越高,山谷就越深,向下看陡峭的山谷阴森森的
The future of computing lies in the development of systems that can verify their own correctness.