负暄琐话

我的email: rot47('649@ 6(hF+`hd"w=92vhG{>}G3"@l M >:&a...

The Economist上的微软广告

  The Economist的广告。不知道是微软的PR要被开掉了,还是The Economist广告部的要倒霉? 从ongoing上看到的。

2007-02-23 12:26:00

阅读数 4825

评论数 2

计算机科学经典论文

从Jao的Programming Musing 看到的:Babar Kazar 整理了一堆经典论文。Jao强烈建议每个严肃的程序员读每篇论文,说它们都或多或少有意思。粗粗扫了一下,很多论文都没读过。挑了些俺多少知道一点的介绍。· An axiomatic basis for computer pr...

2007-02-23 04:25:00

阅读数 41342

评论数 6

2006年的图灵奖

 如果哪位老大不知道图灵奖的话,图灵奖是计算机领域的大奖,相当于诺贝尔或者数学的菲尔兹奖。2006年的图灵奖给了IBM终生院士(IBM Fellow Emerita), Frances E. Allen。ACM的官方声明说Frances因为在编译器优化的理论和实践方面做出的开创性贡献而获奖。她的工...

2007-02-22 05:31:00

阅读数 22639

评论数 7

重搞(refuctoring) - 因为职位稳固的关键是代码不可维护

PDF文件。从programming.reddit.com 看到的。没有耐心的话,一定要看11页到第13页。笑死了。作者其实也没有多夸张。有人就这么玩儿的。摘一段把职业道德当放P还理直气壮的2B言论:I also believe we have two vastly deferent mental...

2007-02-17 07:37:00

阅读数 3230

评论数 0

Emacs入门技巧: 排错

人在江湖走,岂能不挨刀。今天人生又完整了一点:Emacs出现运行错误。一番折腾,正好学会一点简单的排错技巧。本来JDE运行得上好。我把所有相关文件送入SVN后(花了那么多精力配置Emacs,不把心血放进版本控制软件加每日多次冗余备份,好比吴英真地披挂上10亿珠宝,孤身到广州火车站遛弯儿一样不靠谱)...

2007-02-16 12:02:00

阅读数 5622

评论数 1

emacs入门技巧:设置字体

Emacs的基本配置顺手后,我立刻发现缺省的字体,Courier New,让人不爽。虽说Courier New是mono-space的字体,但还是不能满足编程的需要。一是它的0和O不容易区别。二是(和{不容易区别。三是1和l不容易区别(用过Prolog的老大们初学时为了这个1和l,没少熬过夜吧?)...

2007-02-15 11:43:00

阅读数 7600

评论数 4

书评:Dreaming In Code by Scott Rosenberg

 “两打程序员,三年,4732个bugs,和对非凡软件的不懈追求”。Scott Rosenberg的新书Dreaming In Code 寄到了,果然没有辜负俺的期待和这句带有宿命意味的题记激发出的强烈好奇心。连花了两个晚上读完这本精彩作品。强烈推荐。作者把Chandler的开发历程,软件开发的历...

2007-02-14 12:38:00

阅读数 4938

评论数 1

emacs入门技巧

 自从开始对Emacs感兴趣,而不是仅局限于用SLIME同Common Lisp偶尔亲热一下而已后,俺便断断续续读起号称Emacs初学者必备的羚羊书第三版。一边读,一边笨手笨脚地使用Emacs。几周下来,虽然还要不时翻书,好歹开始习惯那些和Vim迥异的组合键。用C-f, C-n, C-p, M-d...

2007-02-12 14:05:00

阅读数 7007

评论数 0

CSDN不log的图片上传

 不少老大抱怨CSDN的图片上传功能废掉了。 不过,CSDN早就有更好的替代方法了。先说说被废掉的传统图片上传。一个字:弱(CSDN的算不错的了,自动化了好些操作),完全有悖人的直觉。很多老大都见识过别人的贴图是一把红叉,点选“属性”时发现,图片的URL是file:///C:/Documents%...

2007-02-11 00:59:00

阅读数 2321

评论数 1

Lambda算子6b: SKI组合子(下)

 接着昨天的写:继续谈论SKI前,得澄清一件重要的事。我说用S K K可以创建等价于lambda x . x的东西,并不等于我们可以把S K K归约到lambda x. x。在我们讨论的lambda算子里,我们说”x = y”当且仅当x和y要么完全一样,要么可以通过alpha变换变得一样(所以la...

2007-02-10 09:39:00

阅读数 4381

评论数 3

Lambda算子6a: SKI组合子(上)

接以前的Y组合子。这篇帖子大致基于Good Math Bad Math的文章,穿插点花边。强烈推荐原文。 说SKI组合子前,不能不谈去年红得发紫的Ruby On Rails。Rails里一大模块是ActiveSupport。该模块实现了很多帮助函数,大幅降低了Rails框架的编程强度。有兴趣地话不...

2007-02-09 17:14:00

阅读数 5110

评论数 1

偶像失踪了,牛人去世了

   失踪的是Jim Gray,1998年图灵奖得主。据博客愤青Robert Scoble(Y烦得要死,把博客说得比抢鸡蛋还重要。Google当年把他开掉看来也是歪打正着。)说,Jim一人驾船出海后,在旧金山湾里失踪,直到现在也没有消息。J老大曾在IBM工作。与关系数据库的创始人Codd合作搞出划...

2007-02-01 09:07:00

阅读数 4147

评论数 4

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