2012-04-07

gcc中sqrt实现

对于sqrt(3);，Visual Studio会报告有歧义的重载函数调用，而gcc却能把这个解释为对sqrt(double)的调用。研究了一下gcc的实现，发现sqrt其实是《C++ Templates: The Complete Guide》中提到的type function，使用了名为SFINAE (substitution failure is not an error)的技术。这里是给出一个使用该技术的sqrt的简易实现：

2012-03-14

给xbindkeys添加key sequence支持

xbindkeys不支持emacs风格的key sequence，不过由于它可以调用guile来支持scheme的配置文件。xbindkeys的tarball里有一个配置文件，支持key sequence的特殊形式：两个键的序列。

最近正好学了些scheme，就好好折腾了一把，写了一份配置文件，可以支持任意长的key sequence(当然太长的一般用不到)。

2012-02-25

Makefile介绍

slide下载

2012-02-11

Haskell学习笔记

机缘巧合，写了两个用到Parsec的Haskell程序。一个是Untyped lambda calculus，另一个是 po2db。adam8157对神器Pandoc大为赞赏，这也是Parsec的应用。Parsec 也有不少其他语言的复刻版，不过不少语言都缺乏Haskell自定义中缀操作符的功能，实现一个parser所写出来的代码可能会冗长很多。

2012-01-19

根据计划求解Rush

Rush Hour是一款滑板游戏(这个词并不陌生，常见的滑板游戏还有华容道、八数码等）。规则很简单，看这里的图就明白了。

2012-01-11

Tiling window manager的应用与设计

pdf下载

2012-01-08

计算所有后缀的排名

占位。以后补上解释。

Prefix-doubling algorithm。

2011-12-24

网络学堂feeds2mail

用网页来看网络学堂的公告很费时间，就打算像 rss2email 那样，把消息制作成邮件。用 Ruby 的 mechanize 来和网站交互，读取“课程公告”和“课程文件”中的消息，把链接 sha1 后判断是否生成过提示邮件，没有则跟踪链接，用 w3m 输出成纯文本，生成的邮件用 sendmail 投递。

2011-12-18

八数码

八数码问题，已访问状态采用 factorial number system 表示，未访问的未使用（简化代码）实现了 Breadth First Search 和 Heuristic Search 两种算法。带上命令行选项 -g 能输出 Graphviz 的 dot 格式的状态树。比较满意的地方是把两种搜索算法的共同部分抽象出来了，写成了单独的 search 函数。

2011-11-30

我的xmonad配置

缺点

依赖的模块较多，升级 ghc 或被 xmonad/xmonad-contrib 依赖的包后需要按照拓扑序更新整个被 xmonad 依赖的树。如果平时不大升级的就不用在意这一点。
没有 systray 等其他 desktop environment 集成的组件，这方面 tiling window manager 世界中的 Awesome 可谓是佼佼者，其他 wm 都需要手动配置很多组件，Xmonad 也不例外。

优点

Xmonad 用 Haskell 配置，因为这一点注定了当配置复杂到一定程度后，会远远胜过那些自定义配置语言的 wm。
得到 monad transformer 精髓的 layout transformer 使得复合 layout 变得非常容易，可以轻易定制出在其他 wm 中不可能实现的 layout。