100 天阅读计划，深入剖析程序和计算机 - 不可能的程序 2019-01-14

100 天阅读计划，深入剖析程序和计算机 - 计算的通用性 2019-01-11