读书

从Rocky同学处借来两本书：《推理的迷宫》和《囚徒的困境》，作者都是William Poundstone。我看的是中译本，都翻译得挺有水准。前者关于悖论、谜题以及知识的脆弱性；后者讨论冯.诺依曼、博弈论和原子弹之谜。内容引人入胜，不知不觉之间已经看了二十几页。

早起的好处

至少有三：

1. 网速快很多；
2. 环境安静些；
3. 人品涨了点。

关于第三点有以下事实为证：

1. 昨天没升级好的devkit今天刚来就搞定了；
2. 昨晚看似不work的代码几天一下跑顺了；
3. 一向在gtalk上见不到的GP今天也来祝福了！
   

无题

我认为，人生之中有两个性格特质最为重要：责任感和恒心。其中又以责任感为重中之重。

责任感使人免于轻狂与肤浅，并滋养出同理心和使命感 -- 所谓“天下兴亡，匹夫有责”，然而从这句话也可看出责任可以有大小。人生之中，无论巨细，诸事都蕴含着责任。我们需要为自己的每一个决定负责。“出来混，迟早要还的。”

前些日子看了本电子书，林语堂的《苏东坡传》。印象中我们的课本中对林语堂先生的评价似乎不高；还有一个被课本降低了的人物是尼采。或许你还记得课本中有这样一句话：“尼采就自诩过他是太阳，光热无穷，只想给予，不想获得。但他终究不是太阳，他发了疯。”

作为一个工科生，我比较惧怕陷入对技术层面的追求而忽略了对精神人格的培养。于是或多或少，总是抽出一定时间看看人文书籍。去上海书城找《苏东坡传》，未得。爱屋及乌，买了一本《林语堂经典作品选》，人民币23.8。后来发现在卓越上网购要便宜十块钱。我真好奇为什么从没见过打折、店面还都贼大的上海书城到现在还没破产。

工作札记 (9)

其实最近比较闲，除了偶尔的一些零碎工作 -- 这种状态自从项目计划重新安排后就已经如此。想到所谓“按劳分配”的原则，我会感到内疚。然而内疚感终究因为公司的政策而变得没有必要。

这段时间用心学习了Haskell语言：纯函数式，惰性求值。体味完全不同于命令式语言的优雅和简洁，我决定用以前学SICP的劲头来学习它。

今天又写了几十行C代码，用一些从没接触过的API。我再次想到“人月神话”里的一句话：“The bearing of a child takes nine months, no matter how many women are assigned.”我甚至觉得所谓“商业软件”不过是臃肿、闭源、复杂、难用、易错的代名词。曾有言，大公司比的不是谁的创新多，而是谁的失误少。颇有道理。也是考虑到这一点，我其实开始对M$ Win抱有尊敬态度。近20年的演化，以千万行计的代码，向后兼容 -- 这些绝对是高挑战性的难题。

学会谦卑。有时间再读一遍人月。

饿等

饿的时候便什么也不想动，连敲键盘都显得迟钝。等着mm下班，目光呆滞地看着手边光电式的多拉诶梦，看它头上的两瓣叶子在日光灯的照射下一开一合。公司安静得听到滴答响。

为什么动物不像绿色植物那样会光合作用？植物是这个自然界的原始生产者，却被食草动物啃噬而毫无还手之力。食物链，金字塔，自然界，人类社会。

越是想，越是饿，越是累。闭上眼睛，休眠了。

Excerpt

摘录关于“抽象”的一段话（出处），如下:
"I think that DSL’s are inevitable. It’s remarkable to me how prescient Abelson and Sussman were when they defined three categories of abstraction: control abstraction, data abstraction, and metalinguistic abstraction. If you look at some of the recent frenzies in languages, you’ll see that we are mostly improving the ability of various languages to perform various kinds of abstraction. These concepts are not new, but they are appearing in languages which are approachable by today’s practitioners. Object oriented programming? Data abstraction. Closures? Control Abstraction. Pattern Matching/Algebraic datatypes? Data and control abstraction. DSLs and the capabilities needed to enable them? Metalinguistic abstraction."

ERC技巧一则

所谓“来电提醒”。


(add-hook 'erc-insert-pre-hook

          '(lambda (msg-str)


             (if (and (string= erc-session-server "127.0.0.1")

                      (string-match "^<" msg-str)


                      (not (string-match "^<root>"

                                         (propertize msg-str 'face nil))))

                 (play-sound-file "~/.emacs.d/hi.au"))


             t))

git-svn

有段时间常用git，而公司采用的是svn，本人最爱的则是hg -- 用于管理平时和临时的一些代码。后来找到个工具：git-svn - 用git管理svn仓库。

克隆代码仓库：
# git-svn clone http://sample-project/trunk

抓取远程更新：
# git-svn fetch

上面的命令并不等同于 git-pull，我们还需要下面的命令更新本地仓库：
# git-svn rebase (或 git rebase git-svn)

签入修改到本地仓库：
# git-commit

将改动push到远程仓库：
# git-svn dcommit

MSN Messenger Error Code - 81000314

我的台式机上msn经常连不上，或者刚连上就断了，所以渐渐更少用msn。因为某些工作又离不开msn，于是装了个pidgin，比较好一点。不过几天又莫名奇妙的断线了，而邻座的挺好。换用笔记本，msn的登录提示是81000314错误。网上搜了一下，解决办法如下：

1. 访问http://messenger.msn.com/Status.aspx，确保messenger服务正常；
2. 进入C盘；cd %appdata%\microsoft; del /s ListCache.dat;
3. regsvr32 softpub.dll
4. 重启msn

原文链接：点击。

试了一下，成功登录了三分钟左右又断了。彻底解决方法：抛弃msn，转用gtalk之类。