我们需要将软件不仅仅视为代码,而是可以分析和验证的数学对象。
应对不自由世界的唯一方法,就是让自己变得绝对自由,以至于你的存在本身就是一种反抗。
当真理还正在穿鞋的时候,谎言就能走遍半个世界。