Jan. 12, 2021
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".
Nov. 16, 2015
在看John Cinnamond的 Extreme Object-Oriented Ruby的时候,注意到John在Emacs里实时运行了Ruby代码并且输出了结果。查了一下,这是通过 xmpfilter以及rcodetools、robe实现的。
Feb. 26, 2015
假设我们有一门只能使用Lambda演算的语言,它的计算能力有多强?
要讨论这个问题,让我们先从定义自然数开始。