2019年1月已过半,时间过的真快

新年新气象

博客从 nikola 迁移到 hugo:

  1. 主题选择多了很多;
  2. 博客的 github deploy 终于不用提交那么多文件了;
  3. 终于有页内目录功能了;
  4. 一直没发现原来 disqus 在国内被墙了,现在用 utteranc 评论功能,在评论框使用 github 帐户登录评论即可;
  5. 阅读统计;
  6. 尝试使用 emacs, orgmode, ox-hugo, easy-hugo 配置一条博客工作链,虽然目前不 是那么流畅,感谢 贤民
  7. 迁移之前的文章链接还是可以访问的,多亏了 hugo 的 permalinks 配置项。

SICP 复习暂停

很遗憾,目前 SICP 复习进度到章节 4.4 就暂停了;

SICP-Refresher-Chapter-4(3)

Scheme 的变形―非确定性计算 非确定性程序求值器支持一种假相:时间是有分支的,而我们的程序里保存着所有可 能的不同执行历史,在遇到一个死胡同时,我们总

SICP-Refresher-Chapter-4(2)

Scheme 的变形-惰性求值 发明新的语言,常常就是先用一种现有的高级程序设计语言写出一个嵌入了这个新语 言的求值器; 正则序和应用序 惰性求值的一个优点就是

SICP-Refresher-Chapter-4(1)

第四章 写在前面:本章代码并没有实际运行检查过(前三章基本没问题),并不保证 bug-free。 建立新语言是在工程设计中控制复杂性的一种威力强大

SICP-Refresher-Chapter-3(5)

流 基于一种称为 流 的数据结构,探索对状态进行模拟的另一条途径,流可能缓和状 态模拟中的复杂性; 如果用离散的步长去度量时间,那么我们就可以用一个(