2019

04-26 / OSX Mojave 编译 & 源码调试 openJdk 8
01-17 / 100 天阅读计划，深入剖析程序和计算机 - 抽象解释 & 静态语义
01-14 / 100 天阅读计划，深入剖析程序和计算机 - 不可能的程序
01-11 / 100 天阅读计划，深入剖析程序和计算机 - 计算的通用性
01-10 / 随笔吧
01-05 / 100 天阅读计划，深入剖析程序和计算机 - lambda 演算
01-02 / 100 天阅读计划，深入剖析程序和计算机 - 图灵机