使用ocaml求数值积分 | 2011年06月28日
ocaml是一种实用性的函数式编程语言，函数式编程的数学定义严格，证明严谨，虽然不如perl般自由，但其简洁强大绝对令人叹服。有兴趣的童鞋可以通过下面的例子来体会。要深入这一编程语言，甚至其实现，可以看《types and programming language》
该日记提交于11:03:27
腾讯微博互听查询客户端 | 2010年10月11日
想知道你收听的人有没有在收听你吗，这是我写的一个客户端，还是那句话，我开放源代码，如果你不放心我编译的执行文件，可以自己下载源码编译
对版本进行了更新，可以实时显示查询过程，而不是一直等待
下载地址：
对版本进行了更新，可以实时显示查询过程，而不是一直等待
下载地址：
该日记提交于14:46:25
如何同步你的腾讯微博和百度说吧，并附上同步客户端 | 2010年09月26日
对于这两款没有提供API的微博，要同步，可以用模拟你登录并发送微博的方式，由于本人时间有限，且本客户端只供自己使用，所以并没做进一步的界面和程序优化，有兴趣的可以下载使用，如果不相信本人写的程序，可以自行编译源代码为二进制可运行文件，或者下载perl解释器进行解释。
该日记提交于10:07:07
几个好用的gvim插件 | 2011年08月31日
分享几个好用的VIM插件，给工作带来巨大便利：
一、
gvimfullscreen 让你的gvim全屏插件
二、
IndentAnything 控制好你的代码缩进
三、
NERD_commenter 让注释更加随心所欲
查看全文