2021

02-26 / Redux 架构概览和原理剖析

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 天阅读计划，深入剖析程序和计算机 - 图灵机

2018

12-30 / 100 天阅读计划，深入剖析程序和计算机 - 增加计算能力
12-27 / 100 天阅读计划，深入剖析程序和计算机 - 非确定性有限自动机（NFA）