Moving to Hugo

I used to blog with Hexo several years ago but since I've picked up the org-mode I've almost forgot the markdown syntax. There are endless debates between org-mode vs markdown. To me the feature set provide by org-mode is just second to none. I use it for GTD, taking notes, logging times. It's just so natural to come across the idea - "Why can't I write my blog using org-mode".

Emacs ruby模式实时求值

在看John Cinnamond的 Extreme Object-Oriented Ruby的时候，注意到John在Emacs里实时运行了Ruby代码并且输出了结果。查了一下，这是通过 xmpfilter以及rcodetools、robe实现的。

λ演算与邱奇编码

假设我们有一门只能使用Lambda演算的语言，它的计算能力有多强？

要讨论这个问题，让我们先从定义自然数开始。