负暄琐话

从这里看来的故事那个绿色是一种黄蜂，叫Ampulex compressa。她排卵前会找到一只小强当她的卵的宿主。而手法就是精确的两次出手。 第一次这个黄蜂会刺中小强的腰，让丫短暂痉挛，仰面朝天，六脚抽搐。于是黄蜂有了充裕的时间完成的二次出手。第二次黄蜂会刺中小强大脑某个部位。她大概有某种触头，可以准确地找到小强脑内一个特定部位。然后她在那里释放毒剂。这两下不会杀死小强，但可以把小强变成傀儡

是针对这个帖子以及众多消极回帖的回帖。先回了一个短的：“拜托，老大们职业发展不顺，不要就jjww扯到整个IT行业。这篇文章只能说明作者对自己的工作失去热情，和IT职业有个P的关系。遇到一个公司只要30岁以下的人当民工加班卖命，只能说明你运气不好，碰到了一个SB老板，SB公司。不要以为世道就这样。26岁就“工作上技术无法精进，管理岗位上升的空间很有限。。。毕业近四年后，我失去了方向”。靠！26岁啊！

胡新宇同学就是我们的榜样。没有义务加班的公司不能去。以后应聘的时候，工资待遇什么的都好商量，但加班时间没得商量。每周工作时间少于80小时的公司绝对不能去。那样的公司里没有职业前途可言。要知道，工作就是学习。工作就是生活。工作就是反思。没有加班，哪里来的自我提升？哪里来的一张一弛文武之道？人生在世谁无死，加班留名照汗青。绝不能学英国产业工人，居然在100多年前就争取每天只工作10小时。后来居然还串通

这是Joshua Bloch（Effective Java的作者）在google blog上发的帖子。在说这个帖子之前，不得不强力重复Joshua Bloch的推荐：如果你还没有读过Programming Pearls （中文版叫《编程珠玑》)这本书，现在就去读吧。如果你只读了一遍，现在就去再读一遍吧。还是说回Joshua的文章。当初Programming Pearls的作者Jon Bentl

  这学期修的程序分析课没有作业，没有考试。唯一要做的就是积极参加课堂讨论和主讲一堂课。这周轮到我讲。题目是程序分析里的shape analysis，也就是讨论怎么分析程序里堆的变化，用来回答诸如链表是否有环，会不会出现解析空指针的错误这类和堆管理有关的问题。 这个题目的相关阅读资料是的第2.6节，和。本以为会很吃力，没想到比预计的轻松。讲解时出乎意料地流畅。想来有几个原因： 这学期修的程序分

在纯月部落看到这篇文章。我对PHP没有什么认识，也无意介入PHP vs RoR的争论。可惜的是，纯月看似言之凿凿的有些议论惘顾事实，妄下结论，实在让人失望。喜欢PHP没有错，为了支持PHP信口开河，不做基本的事实检查就是你的错了。点评一下：【3 PHP和ROR,JAVA，PYTHON的本质区别是，后者是面向domain modal的，前者是面向Web脚本的】评：什么叫面向domain mo

以前写过一些文章痛批当下流行测试软件的自动化功能。比如Segue的SilkPerformer（现在是Borland的了），Mercury Interactive的Quick Test Professional(QTP)，和Segue的SilkTeset。最近优快云上诸多老大推荐这些工具。俺觉得有必要旧话重提。毕竟我们有更好的选择。所以改写了一下那些文章，在这里帖出来。今天先聊SilkPerfor

老有人问“负暄”的意思是什么。 解释前先说“负暄琐话”的来历。《负暄琐话》是张中行老先生的一本小册子，回忆他当年在北大读书时的趣闻轶事。10多年前读过，至今齿颊留香。《负暄琐话》里关于北大红楼的描述，对当年学界风云人物种种风范的记录，都让我无限神往。八卦水平，无过于此。当初写blog的动机也就是随意八卦一些技术和有关CS的人和事。前辈风存。于是东施效颦，取《负暄琐话》为名。“暄”是太阳的意思。“负

首先是牛皮轰轰的Joel Spolsky 写了一篇精彩的帖子, 讨论Windows Vista关机菜单的累赘设计。这篇帖子引出了一微软程序员（Moishe Lettvin）的文章，The Window Shutdown Crapfest。简单归纳一下： Moishe用了整整一年才完成Windows关机菜单。 实现该菜单用了200来行代码 这个看似简单的功能牵扯

统计资料枯燥么？数据可视化枯燥么？模拟编程枯燥么？还是得看什么人做，怎么做了。下面的视频用第一视角的过山车运动来展现美国1890年以来的房价。想象无止境。 醉钢琴说幸福可遇不可求，充实可求不可遇。把“充实”换成“乐趣”也未尝不可。 P.S., 既然三表推荐的黑马神拼 那么牛，输入法的黏性又高，谁都不愿放弃自己辛苦积累的自造词库，Google和sougo又急于用输入法抢占市场

 这几天读程序分析的书非常郁闷。 无数次怀疑自己是不是真在读关于编程的书。感觉搞程序语言（包括搞软件工程)的人和搞算法的人不是一个世界的，虽然都在八卦算法和数据结构。看那些算法书里的概念多直观啊。再困难的概念都是从无数具体实在的例子中浮现出来的，基本不用费脑子去理解和记忆。再看程序分析的书，符号满天飞。不把54个希腊字母用完誓不罢休。有限的几个例子也是用来支持作者讨论的模型的，而不是用来引出概念。

 今天效率还比较高。在学校旁边的星巴克里坐了几小时，喝了两杯咖啡，吃了一片南瓜籽蛋糕，上了一趟洗手间，打望了各色美女几次后，看完了这本书的第一章和第二章的一半。不觉感慨，虽然毕业才5年，俺的注意力已经远远不及本科的时候。没想到未老先衰的势头如此之快。俺也开始“想当年”了：想当年不到两天就读完南京大学出的那本《结构化学》，并完成所有习题。想当年熬夜背完天杀的中国革命史考完试后，还能再读完《鲁滨逊》才

最近Joel Spolsky 批评了Ruby ，说Ruby不值得信赖。接着Joel介绍他的公司开发的Wasabi。博客圈很多大佬当然觉得Joel很不靠谱。Ruby的邮件列表上也展开了讨论。然后Ruby的作者Matz就出来发言（黑体部分）了。谦虚得一塌糊涂啊。Matz也就30来岁吧，说话跟80岁隐士一样，真不容易。Hi,In message "Re: Joel Spolsky on langua

从Borland的VP的网志上看来的：http://blogs.borland.com/davidi/archive/2006/02/08/23013.aspx。Delphi, C++Builder, C#Builder, JBuilder (and Peloton), InterBase, JDataStore, nDataStore, Kylix，和老点的Borland, Turbo系列，通通

链接在这里：http://jroller.com/page/dannyy?entry=mercury_s_quick_test_professional。 这篇比批评SilkPerformer的文章平和多了。

洪晃的blog真不错。怎们别人痞都痞得那么酷呢？subscribed.引两段让我哈哈大笑的：这天请客的是一位英国上流社会的夫人，可能还有个什么爵位。这夫人是个大闷棍，可以没有语调地自说自话一个多钟头，特别是关于英国上流社会的花园，只要你问一句：请问花园里面到底应该种什么样的月季，她就开始滔滔不绝、平声调的演说，你可以闷头吃饭、上厕所、甚至找个漂亮服务生在卫生间作爱，把这些动作都完成后回到座位上

强烈推荐：http://tech.163.com/special/000915RB/find.html是不是说明163的后台比汉芯陈硬啊？

从小学时的《再向虎山行》，到后来的《警察故事》系列，我也算看着骠叔的电影长大。突然间意识到，我们江湖正渐行渐远。。。

就是把Code Complete《代码大全》了。不知道是那个SB译者翻译的，也不知道是那个SB出版社通过这个书名，搞得一部好好的经典听上去像东拼西凑的盗版书。现在倒好，谬种流传。说起这部经典，都用这个让人浑身起鸡皮疙瘩的书名。

今年的菲尔兹奖于8月22号揭晓了。小小八卦一下。我不是学数学的。说错了尽管飞砖。Fields奖是数学界的顶尖大奖之一（另一个应该是沃尔夫奖，没有得奖人年龄不得超过40岁的限制）。不信问问田刚没有得奖是不是很郁闷之极？  当年好吃懒做，在Fields研究所咫尺之遥生活学习了几年，也没去拜访拜访，听听大牛的讲座，也算人生憾事。今年得主是俄国的Andrei Okounkov和Grigori Perelm

RAD者，Rational Application Developer也。2G内存的机器啊。用了几个小时，重起了几次应用服务器而已，就把内存吃光了。光任务管理器就显示IDE本身占用350M内存，应用服务器占用450M内存。当然SharpReader和FireFox也牛皮轰轰，一人吃进去两百来兆内存。靠！*** panic: JVMCL052: Cannot allocate memory in

最近忙，居然忘了歌德尔的百年诞辰。这里是关于歌德尔诞辰的文章。1931年，歌德尔向世人宣告歌德尔不完备定理，希尔伯特第二猜想告破，人们对数学的看法从此改变。

写正题前先罗嗦一句：Google的字库没有校对么？，那么多低级错别字，还不让人删除。至于哪些错别字，三表的文章里有很多搜狗的例子。Google做的改进就是把正确的词排在错误的词前面。我靠，删除缺省词库很难啊？通过统计用户删除的字词不能学到点东西啊？逼良为娼不够厚道，有失和谐吧？说正题：这段时间的工作琐碎繁杂。我不胜其烦，工作间隙便在www.projecteuler.net上做题，权当透气换

刚看到The Boston Globe上的>一篇文章，谈到印度程序员短缺。学校培养出的不少毕业生不具备合格的编程能力。印度有10.3亿人口。讲英语的人口总数巨大，但各大公司却找不到合格的员工。印度的教育系统每年输出40万理工学生，能立刻上手工作的最多10万。一些公司被迫耗费巨资建立自己的培训机构，培训新手。根据纽约时报的报道，InfoSys每1000美元收入中65美元用于员工培训。相比IBM每一千

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

刚看完Heroes第一季大结局。原来Heroes是一思想品德教育之青少年励志节目，告诉我们家庭不可替代，爱心战胜一切，骄傲导致失败，粗心酿成大祸。这点还不如Nicolas Cage的新片Next。Next好歹告诉我们一连串的局部优化不一定让我们得到全局最优结果，比如贪婪算法只适用某些情况，比如敏捷开发推崇的频繁迭代不能保证得到稳定适用的架构。 我想说什么来着？对了，代码民工养成计划。前两天

PC时代初期犹如拓荒小说里的南非。拓荒者们没有精巧的工具，没有丰厚的财力，没有经验，甚至没有足够的食物。一人一镐一簸箕，和百折不挠的狂热而已。然而风云际会，不定一镐下去，就是非洲之星。二、三十年前的黑客们就是PC时代的拓荒者。技术原始，无损他们奔放的想象力。工具粗陋，却激起他们征服的雄心。那时没有铺天盖地的类库，所以他们钻研P.J. Plauger的雄文。那时没有巨无霸一样的操作系统，所以他们细读

 这里看到的：http://www.wellingtongrey.net/miscellanea/archive/2007-01-15%20--%20science%20vs%20faith.html 万一真理部启动贵妃网，下面是贴图： 右边的模型的确简单哈，符合天才程序员追求整体和谐、天人合一的先进观念。怪不得好几枚专家孜孜不倦地教导俺们，算命可以预测项目进度，邹衍早已参

   前俩儿Java进程是咱内旮旯的IDE和测试服务器。IE上就一页面儿，运行咱的WEB应用。FireFox上就Google Reader，供开小差用。照这玩儿法，多少内存也得玩儿残了。 

 刚把用了3年的T42P换成T61P。笔记本还是一不可靠的主，不像台式机那么夯实。我那T42P的硬盘，主板，键盘，和屏幕全换过。而我的台式机除了ATI 9800的小破电扇脱落，烧了显卡以外，一直运行良好。三年前我在CS:S里被人秒杀爆头，现在CS:S里仍然被人秒杀爆头，一点延迟没有。当然考虑到一天大于12小时的用量，和一两周才重启一次的频率，T42P的质量实在不错。另外我也不考虑其他品牌的笔记本，

任话事人讨伐员工的檄文：http://www.javaeye.com/topic/170950。中心思想：自杀是你丫不够高尚，自找的。Joel Spolsky的近文： http://www.inc.com/magazine/20080301/how-hard-could-it-be-lessons-i-learned-in-the-army.html?partner=fogcreek引一小

早上上班，听Software Engineering Radio对Joe Armstrong的访谈。Software Engineering Radio办得真不错。请来业界风云人物娱乐大众。访谈前主持人做了功课，提的问题颇为有趣，引得被采访着侃侃而谈。上期对Galen Hunt的访谈也挺精彩，把Singularity OS吹得比Singularity还有卖点。Joe在谈到并发编程对程序员冲击时

从BBC看来的。 AOL从2008年2月1日起停止支持和开发Netscape，我用的第一款浏览器。缅怀一下。不知这算不算做软件必须做为公司直接赚钱的软件的旁证？AOL就一抱残守缺的ISP，怎么会关心一款软件的健康发展？

领导和我喜欢背个大包到处流窜，牵着手在陌生的地方里漫不经心地穿行。一不小心，这次准备玩儿个大的。有些朋友大概已经知道，三周后我就要离开IBM，加入LA一家小小的startup，做对我来说完全陌生的搜索引擎和广告目标锁定。并非对IBM不满。相反，公司有一流的工作环境。我肯定会想念公司小溪边硕大的乌龟，草地上慵懒的梅花鹿，蹒跚过街而阻断车流的雁群，游戏间酣畅的Unreal对战，设备齐全的健身房，淙淙流

坚决鄙视一介绍Prolog就用家谱树做例子的帖子/教材/指南。跟我八辈子不搭界的某银的家谱关我P事啊？就算自己的家谱。我爷爷的姑姑的侄儿的表姐的大舅子关我P事啊？和朋友聊到用Prolog实现上次借助amb解决的谜题。Prolog内置了搜索和裁剪。写出的代码近乎琐碎，根本不需要amb。想想看，用amb时，那些描述约束的语句(调用must()函数的那几行)在选择语句之后执行，但竟然能左右之前被执行

 通过programming reddit，从这里看到的。Amazon.ca果然发飙了，软皮本才3.95加元。对比一下amazon.com上同样的书，50美元。怪不得冲到amazon.ca排行榜的第二。顺便扫了一眼排行榜，看到那本龌龊的The Secret居然排名第7，和amazon.com上一样。看来在心想事成不劳而获这坨美梦面前，南北同心。这本The Secret一度在amazon.com

洪峰的黑客道在这里。没有在中文媒介上看到相关报道，而是在Oreilly的Python DevCenter博客上看到的。如果是旧闻，只能说明俺自己人品不好。黑客道是洪峰成立的培训组织，用来培训功力扎实的程序员，尤其是热衷开源的程序员。这里的黑客用这个词的本来意思，指功力深厚的程序员，而不是好莱坞化或者生活里异化的破解怪人。这里有黑客道的课程目录，内容挺吸引人。从基本的汇编和C语言到用C构造Schem

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

有时无知是福。俺看到一点新鲜的科普也能觉得造化神奇。刚才读Gerald Jay Sussman（SICP作者）的文章，Building Robust Systems – an essay，竟然心如小鹿乱撞，手心湿润，仿佛第一次握住初恋情人温柔的手。这篇文章主旨明了：构造复杂的健壮系统非常困难。我们的软件能够有效完成某件具体任务，却不能适应业务领域的变化。一点细微的需求或部署的改动都能让我们的系

上篇帖子里聊到Sussman认为构造出健壮软件需要我们的系统支持continuation, 回溯，和生成-测试的方法。生成-测试最直观简单的方式是为系统提供多项结果。系统一个一个地测试这些结果，并接受符合要求的一个。Sussman举了一个例子：平方根函数通常返回正根，而抛弃那个负根。那按照生成-测试的方法，一个平方根函数应该将负根和正根一起返回，然后由系统决定到底哪个根更好。后来他进一步提到（第2