The future of computing lies in the development of systems that can verify their own correctness.
对付不自由世界的唯一方法就是变得如此绝对自由,以至于你的存在本身就是一种反叛。