没有人民的普遍知识,自由就无法得到保障。
"I’m the one who decides my value."
我们需要将软件不仅仅视为代码,而是可以分析和验证的数学对象。
"A novel is a long piece of prose with something wrong with it."