把读过的、练过的、想明白的，按主题留在这一页。
来源是《DDIA》第 5、6 章和 MIT 6.824，边读边把不懂的地方记下来。
来源官方手册与类型体操，重点是让类型真正约束住运行时行为。
来源《The Economist》每周三篇，重点是把长句拆开再拼回去。
来源 3Blue1Brown 与习题册，目标是能把定理的条件说清楚。