To be free is to accept responsibility for one's own life.
我们需要将软件不仅仅视为代码,而是可以分析和验证的数学对象。
没有绝对的安全,只有相对的风险控制。
唯一真实的思想是那些不理解自身的思想。