一月总结

on life

计算的本质

大学编译原理只上到切token就没有往下继续详细讲了. 然而我觉得那已经很难了 T.T

计算的本质用比较通俗的写法介绍了语法树的规约, 还有有限自动机, 下推自动机, 图灵机, lambda演算, 细胞自动机.

Ruby 代码让事情看起来简单了不少. 比较感觉有收获的知识:

  • 小步规约
  • 大步规约
  • 图灵机的实现
  • 把一个程序全部用 Lambda 演算来表达.
  • 计算机科学史
  • 哥德尔数的概念, 以及不停机问题

基数排序

如果再有人说排序的最小复杂度, 请一定回答O(N), 并且要补充上, 它不是比较排序, 它仅适用于数字.

SICP 前三章

跟预想中的进度一样, 尽管这是在习题没有跟上的情况下. 尽管 SICP 在我心目中似乎偏向函数式更多, 然而它很大篇幅给了面向对象, 并且最后坦言, 面向对象和函数式没有最好, 各有优劣.

CSAPP

我发现高估了自己, 这本书没有想象中的那么简单, 第一部分其实占了整本书的2/3…

Docker

终于把 docker 的大部分命令看会了, 屠龙技要学, 杀鸡的技术也得学 >.< 跑起 basebox, storm, jenkins, consul 这几个镜像玩过..

Jenkins

QA 是苦力活.. 不想玩了啦 openstack 提供的 jenkins yaml 配置文件对版本化配置很有用.

ansible

没多碰两下, 以后可能会用到, 下个月继续看看

Using Trello To Plan A Wedding

dnsmasq

一个比 bind 更小型的 dns server.

佩服的人

新增: 克莱尔-帕特森 拯救整个人类族群的英雄. 将铅从汽油中揪出来的勇士

GTD

尝试用四象限管理事务, 实际使用发现有点更新不够勤快. 正在找更好的办法

下个月干嘛

按照日程表, SICP 进度应该到达最后, 但是习题可能推进到第四章有点困难, 二月行程又那么赶, 粗略定下来优先搞完第三章的习题. CSAPP 可以倒过来看, 先把第三部分看完, 最好可以把习题做掉.