自定义博客皮肤VIP专享

*博客头图:

格式为PNG、JPG,宽度*高度大于1920*100像素,不超过2MB,主视觉建议放在右侧,请参照线上博客头图

请上传大于1920*100像素的图片!

博客底图:

图片格式为PNG、JPG,不超过1MB,可上下左右平铺至整个背景

栏目图:

图片格式为PNG、JPG,图片宽度*高度为300*38像素,不超过0.5MB

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+

负暄琐话

我的email: rot47('649@ 6(hF+`hd"w=92vhG{>}G3"@l M >:>6?4@56 /F')

转载 残酷的语言兴亡

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

2007-07-28 13:53:00 7156 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 4868 6

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

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

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

转载 Wired上关于Jim Gray的文章

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

2007-07-24 13:47:00 4407

原创 关于C++ 0x 里垃圾收集器的讲座

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

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

原创 跳棋被搞定了

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

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

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

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

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

原创 做习题的境界

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

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

转载 莫比乌斯变换的演示

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

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

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

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

2007-07-07 02:52:00 5025

原创 与Scheme共舞

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

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

提示
确定要删除当前文章?
取消 删除