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演算的语言，它的计算能力有多强？

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

Slate:Mac下的窗口管理器

一直想要一个Mac下的类平铺式窗口管理器，使用过divvy，但是使用鼠标的时候手在鼠标和键盘之间来回移动很麻烦，于是放弃了。。之前还在用Macbook Pro 17的时候试过一段时间的slate，不过换了rMBP 13以后，总是觉得屏幕小，所以对平铺式的窗口管理器的需求也减弱了。而且利用bettertouchtool的window snapping功能也能满足我的需要，所以有一段时间没用了。

今天正好看到有人提起，打开试了一下，就萌生了写篇介绍的想法。