C-c C-k

to impress your cat

Jun 09, 2015

Jun 04, 2015

Erlang代码热更新

Erlang代码热更新是一件很简单的事。很多教程都偏重于介绍工具的使用,而忽略了热更新过程本身。Erlang官方文档里面倒是都有,只是内容分的比较散,更适合熟悉Erlang的人查阅。

May 08, 2015

Erlang字符串输出

经常有人莫名其妙的抱怨Erlang字符串处理效率低下。在过去,Erlang确实是用简单的list来表示字符串的,不停拼接list效率确实不行。可现在这已经是老黄历了。

Mar 06, 2015

八皇后问题

八皇后问题不算太难,可写起来也是挺麻烦的。有家奇怪的公司为了炒作,提出了C++在十行之内解八皇后的挑战,尽管他们自己办不到。

Feb 26, 2015

Penney's game

Penney's game 是个很简单的问题。可是网络上能找到的答案,要么到状态转移图就完了,要么就跳过中间步骤直接出答案了。

工作流原理

工作流是一个很简单的概念。自己实现工作流引擎的也不在少数,甚至有一些很奇怪的号称支持中国特色流程的。可是很多就算看了文档和代码,也很难理解为啥这可以工作,特别是他是怎么保证某个任务确实会执行。这方面就缺一个简单易懂的文章列表。

Feb 02, 2015

Dialyzer

动态类型语言的静态类型分析突然变成了一件时髦的事。Facebook推出的Hack语言吸引了大量关注。王垠靠PySonar也收获了很多粉丝。可是Erlang依旧被认为是老土。

Jan 21, 2015

阴阳谜题

阴阳谜题是个很简单的问题,不过是揭示了call/cc is poor man's goto。可是总是有人觉得能搞明白阴阳谜题是一件很值得夸耀的事。

Jan 20, 2015

LISP中的Macro

Paul Graham 在 The Roots of Lisp 一文中把 John McCarthy 的论文复述了一遍,还画蛇添足引入了 defun ,结果文中的解释器其实并不能自举。需要引入Macro之后才可以,讽刺的是,Paul Graham 整天吹嘘 Macro 多么强大,在这里却忘记了。

Jan 15, 2015

操作系统入门

好的操作系统教程很少。很多教程都是从bootloader该怎么写开始的,而bootloader一点都不好写。比如我就照着各种教程在bootloader上死了无数次了。

Next → Page 1 of 4