2007年07月_g9yuayon

转载残酷的语言兴亡

今年OSCON的幻灯片出来了。个别讲座还有录像。可以到这里下载。正在看Simon Peyton Jones关于Haskell的讲座幻灯片。开头四张编程语言生命周期的曲线很有意思。血淋淋的啊。大部分研究型语言三年内夭折，用户不超过50人。大部分成功的研究型语言8年内寿终正寝，用户不超过100人。100万用户数是语言不朽的底线。Haskell度过了差不多10年的漫长平台期。现在好像焕发了第二春（总觉

2007-07-28 13:53:00 7394 1

原创 Orz oz

为了读Concepts, Techniques, and Models of Computer Programming这本书，去下了Mozart，一个支持编程语言Oz的开发系统。照这书里的指点，运行Oz.exe，居然看到Emacs窗口弹出来。瀑布汗。。。这就是Mozart编程界面啊。怪不得只要8MB的安装空间。这时才注意到书里直接就用Emacs的黑话了，什么编辑器分成两个frames。我就纳

2007-07-28 07:17:00 5085 6

原创那就推荐一本消遣书吧

上学最宝贵的收获之一是结交学识过人的朋友。自己闷头学得山穷水尽时，高手轻轻一句点拨，眼前便峰回路转，柳暗花明。每次上完课，有幸和朋友小聚，请教弱智问题，听朋友妙语解惑，实在是难得的人生乐事。读The Little Schemer，也有同样的感受。读The Little Schemer的过程，就是被良师引导的过程。用作者的话说，The Little Schemer是一本教人理解计算本质的书

2007-07-27 15:01:00 18468 8

转载 Wired上关于Jim Gray的文章

Jim Gray离奇失踪快半年了。 Wired上有篇文章介绍Jim Gray和搜索他行踪的活动。虽然题目叫高科技搜索硅谷传奇人物内幕云云，文章重点不是搜索用到的技术和人力，而是Jim Gray的生平，他生活的不同侧面：朋友，导师，丈夫，传奇高手。值得一读。

2007-07-24 13:47:00 4638

好像最近C++标准地下工会在公司附近开会，所以我们上班时偶尔可以看到工会成员矫健的身影。我们也近水楼台，得以听到关于C++0x进展的一些科普报告。上次Bjarne Stroustrup做了关于泛型编程的讲座后，Symantec实验室的Michael Spertus也做了一个关于C++ 0x里垃圾收集的讲座。Michael Spertus当年写出了IBM PC上最早的C编译器，也是C++ 0x里垃圾

2007-07-23 11:56:00 13126 9

原创跳棋被搞定了

从Reddit看到的。BBC报道Alberta大学的一个研究小组号称解决了双陆棋（跳棋）（checker, 又叫draught），他们的程序可以保证每盘棋是胜局或者平局。值得注意的是，这个研究小组用的方法相当“粗暴”：计算机集群遍历所有的可能对局（一局棋大概有1020种可能性）后，存下对局过程备查。程序在实际对局时，根据局面选择最佳步骤，并且预测并证明可能的结局。有兴趣的老大可以到这里实时体

2007-07-20 05:58:00 6772 8

原创 Bjarne Stroustrup关于C++的讲座

想知道细节的，可以直接到wg21的网站上看论文。这里是零散的笔记。今天Bjarne Stroustrup到公司来做关于C++ 0x泛型编程的讲座。秉着不吃鸡蛋也可以看看母鸡的原则，我还是提前20分钟去前排占了个位子 —— 虽说我们实验室除了编译器部门和数据库部门狂用C++外，主要还是Java作坊，我还是不能低估了这群老大赏鸡的好奇心。虽说有了心理准备，大家热情之高还是吓了俺一跳：讲座开始前

2007-07-17 13:28:00 11832 6

原创做习题的境界

就是把习题当成项目来做。十年寒窗。半世煎熬。习题做完，世界随之改变。例子：A = B这本200来页的书（免费下载。作者是好心银啊），解决了《编程的艺术》上一道难度系数为50的习题：自动化多维几何级数的求和。如果有封闭解，则自动找到该解。不然自动证明无解。这好比20年前Wolfman的Mathematica搞定自动积分，号称机器不能积的，人肉也不用想。又好比优化编译器生成人肉编译器们望尘莫及的全局优

2007-07-14 00:52:00 12942 3

转载莫比乌斯变换的演示

从这个论坛上看到的。莫比乌斯变换是一个简单的函数，f(z) = (az+b)/(cz+d)。这里的a, b c, d, z都是复数，满足条件ad-bc != 0。这段录像展示了f(z)的几何意义。对球面投影时球面旋转造成平面翻转的演示部分最为精彩。看不出一坨简单的公式，也能描述球面投影里看似复杂的关系。

2007-07-09 13:43:00 7013 2

原创曹三的《流血的仕途》出书了

从三表的博客看到的。去年初看到天涯上的连载，一口气读完已经写好的几十节后，就陷入这个超级大坑。不仅自己读，还在领导做饭时念给领导听。我俩无数次为曹三的精彩桥段狂笑。这年头少见这类历史文章了，古文写得这么流畅雅致，调侃得那么到位，抖包袱抖得那么痛快，旁征博引得那么出人意料。用三表的话说，就是“还木乃伊般的史料于血肉”。现在好，不用跳坑了。

2007-07-07 02:52:00 5182

原创与Scheme共舞

发表在《程序员》2007年7月刊上。不log上写帖子不用考虑版面限制，所以这里的帖子比发表的啰嗦点。赵健平编辑，Jacky，和刘未鹏都给了我很多帮助，在这里一并谢了。免费的Scheme实现很多。我用的是PLT Scheme，可以到这里下载。PLT Scheme的IDE（Dr. Scheme）支持Emacs的键盘绑定，用emacs的老大们应该喜欢。Dr.Scheme内置中文支持：下面是

2007-07-03 13:49:00 52267 18

负暄琐话