负暄琐话

原创 Malcolm的新书：Outliers

这里是《纽约客》登载的长篇介绍。这里有《卫报》写的书评。Malcom在书里提出成功的必要条件：10000个小时的刻意练习，相当于连续10年，每周20小时的专注操练。书里举了大量的例子，从Bill Gates到Bill Joy到甲壳虫乐队到莫扎特到NHL的冰球明星。。。。用作者的话说，还没有人不用10000小时就成为世界级的专家。Malcolm向来善于把学术界的黑话过滤为我的小脚曾奶奶都喜闻乐见的故

原创 松了一口气

历史性时刻，破一回不在技术博客谈政治的先例。那坨支持神创论，反对干细胞研究，公开歧视同性恋，无条件反堕胎，好战，危机当头却对救市计划一无所知的原教旨女疯子终于没有当选副总统。否则真是对文明的一大亵渎。P.S., 奥巴马的演讲足以彪炳史册，而我们有幸见证历史。这里有同徐宥同学的评论。另外贡献笑话一坨：“The Bush administration, which took office as soc

转载 对冲基金经理的告别信 (ZT)

强大的告别信。这里登的：http://www.portfolio.com/views/blogs/daily-brief/2008/10/17/hedge-fund-manager-goodbye-and-f-you。写信的人叫Andrew，是加州对冲基金Lahde Capital的基金经理。去年做空次贷，使得他的基金年回报高达866%。今年他决定牛放桃林，马勒戈壁，关掉基金回家追寻逝水流年，就写

原创 世道不好啊

最近红杉风投给旗下公司做了一个报告，告诉这些startup，做好10年萧条的准备。好日子结束了。Easy credit没有了。满世界找公司投资的limited partners消失了。IPO很难指望了。M&A也希望渺茫了。现在这世道，生存才是第一要义，positive cash flow才是王道。怕怕啊。。。这里是红杉报告的幻灯片：http://www.slideshare.net/eldon/s

转载 爱情故事

谁说社会软件没用来着？viaCSDN禁止发布视频，所以只有贴链接了：http://www.youtube.com/watch?v=qtmdGMPgU7I

转载 RIP: Randy Pausch

 Randy Pausch昨夜过世。不了解他的，去看他的最后一课吧。这里有中文字幕版。Erik Sink已经总结得很好了：Every man dies.  Not every man truly lives.  Rest in peace, Dr. Pausch.  You truly lived. 

原创 电话面试经历

出来混，迟早要还。也有了人生第一次电话面试。没有签NDA，所以在这里分享一下。但愿对各位大佬有帮助。职位是架构。要求是对Java和J2EE熟，能编程，熟悉OO设计。有架构经验，等等等等，都是大路货，没什么出奇的。再说出奇的我也不行啊。 总的感受：用自己的话总结对方的话挺有用。表明了你在积极思考，理解了对方的意思，并且避免了双方的误解。关键是要加上自己的理解、延伸，和追加问题。面试官

原创 The Road Not Taken

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

原创 祥林嫂精神恍惚痛苦呼唤之关于Suffix Tree

CSDN的大大们啊，行行好啊。修复这坨不能自动上传图片的错误啊。好像已经三个月了啊。图多的时候发文章真地很痛苦啊。Orz Orz Orz在pongba的讨论组上看到一道Amazon的面试题：找出给定字符串里的最长回文。例子：输入XMADAMYX。则输出MADAM。这道题的流行解法是用后缀树（Suffix Tree)。这坨数据结构最酷的地方是用它能高效解决一大票复杂的字符串编程问题：

原创 八卦一下模型验证(三)

 CSDN的大大们啊，求求你们了啊。修复这坨不能自动上传图片的错误啊。好像已经三个月了啊。图多的时候发文章真地很痛苦啊。Orz Orz Orz准备八卦Edmund等人算法时才想起，人1986年成名作是讨论用CTL (Computational Tree Logic) 作规范语言的模型验证算法，而第一篇八卦失心疯只介绍了LTL。虽说也有算法对付Kripke结构上的LTL模型验证，

原创 （ZT）多么牛B的校长

牛博看来的。这才叫责任。这才叫领导力。 http://www.bullog.cn/blogs/buchong/archives/140359.aspx#   以防牛博被和谐。这里是全文： 多么牛B的校长（zt) 令狐补充 @ 2008-5-25 5:56:56 阅读(153) 引用通告 分类: 网海钩沉 新华网四川安县5月24日电 题：一个灾区农村中学校长的避险意识 新华社记者朱

原创 家庭作业

就像土摩托说的那样，一遇灾难，各路棍状神仙就嗖嗖地跳出来。比如有人教育大家养专家不如养蛤蟆。从网上铺天盖地的讨论来看，信的人还不少。看来都是明白人，都不鸟达尔文的落后学说、逻辑这种废柴思维、或者统计这号违反直觉的无稽之谈。囧rz 这么强大的思考方法，必须鼓励。土摩托这厮，必须批判。下面给各位老大奉献几道家庭作业题，纯供批判落后思维用：简答题 假定每次地震前都天

转载 程序员的效率

Steve McConnell的博客帖子。详述了程序员产率相差10倍的来历。插草标 卖身推荐。引用一段：80年代中期，波音上了一坨重要项目。80枚程序员参与其中。项目不顺利，眼看要错过一坨不容错过的最后期限。为了保证该项目成功，波音调走了这80枚老大，请来一个人。于是这枚老大以一人之力，按时按量交割项目。剩下的问题是：我们怎么才能培养出这种一击必杀的能力？

原创 采访Joe Armstrong的podcast

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

原创 八卦一下模型检验（二）

接着八卦前先回答老大们直指灵魂的问题。不就是系统状态遍历的问题么？干嘛非得用什么时序逻辑、模型一类的形式化手段啊？搞得比陈凯歌还深沉。做人不能这么无耻不是？找个真正的程序员，放出手里的蝴蝶不就搞定了？嗯，很多程序的确可以靠程序达人强大的自觉和天才的排错能力搞定。问题是，模型检验的对象是高并发复杂系统（比如说1020个状态），目标是绝对可靠地查出系统的错误，既不错杀三千，也不放过一个。这些系

转载 汉英对照阅读

任话事人讨伐员工的檄文：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引一小

转载 “人各有志，给分六十”

从傅国涌的 民国往事看来的。那个时代的风骨啊。按理说不应该全文转帖，但是考虑到牛博上反动文人们随时会被和谐，就破例抄在这里了。CSDN的大大们放心，这篇文章一点都不反动。“人各有志，给分六十” 物理老师魏荣爵在学生谢邦敏富的试卷上赋诗一首：“卷虽白卷，词却好词。人各有志，给分六十。”天津南开中学名动天下，在抗战前后创办于沙坪坝的重庆南开中学，在“允公允能”的校训下，也有无数值得

原创 八卦一下模型验证（一）

先穿渔网袜从珠穆朗玛峰上滚下来哭求CSDN的大大们看一下CSDN博客插件不能自动上传图片和排版的问题。人肉上传图片和排版真地很痛苦呐！ 2007图灵奖和模型检验不知道长达半年的疯狂加班是否损害了自己的心理健康。回顾过去几个月，似乎除了工作嘛都没干。人仿佛颓了，觉得时光了无意义地飞逝，过去半年的泰半记忆好像盛夏阳光里的冰块，蒸发得不剩一丝水汽。幸好不是全无亮点，比如看到好

原创 今天是Knuth的70寿辰

好像太八卦了一点，不过这是Knuth ，我的终极偶像啊。就算他没有写注定留名青史的The Art of Computer Programming(是滴，俺有空还在读），就算他不是最早让人们认识到算法也可以定量严格分析（没有算法分析，哪里有现代计算机科学嗫？）的人，就算他没有发明和改进LR解析方法，就算他不是最早独立实现Algo编译器的人，就算他不是编程语言经验研究方法的奠基人，就算他没有提出Att

转载 Netscape挂了

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

转载 面向组合的开发

Joe Armstrong 在他的新书Programming Erlang里提到我们不该随便应用函数返回高端函数的技巧，因为这个技巧容易让代码难以分析和调试。但是也有一些明显的例外，比如说构造parser combinator。高度精简的代码却能实现高度灵活复杂的操作。多少程序员用不靠谱的XML实现自己的DSL就是被解析这一环逼的啊？最近在项目里实现了一个parser combinator的库，更

转载 Amazon的SimpleDB

还是Beta，限量供应。简而言之，SimpleDB提供简单的数据存储和查询服务。加上EC2和S3，Amazon又向公共服务公司（比如水电气公司）迈向了一步。网上铺天盖地的讨论，有兴趣的老大百度/google吧。从技术角度来说，SimpleDB用Erlang实现，原因是要保证高度可靠性。对Erlang社区来说应该是好消息。

原创 微软和联想都很幽默

 微软拼音这款丑恶的输入法时不时跳出来恶心我一把，但我居然不能在输入语言选项里删掉。怎么弄得和当年的RealOne一样了，把禁止Message Center和自动更新的选项藏在一个极不起眼的地方。我拿到电脑总是立刻删掉所有同RealOne的文件关联，用第三方软件播放rm文件，就是因为当了几天人质，恶心坏了。是滴，我是犬儒，还没有强硬到连rm文件都不用的地步。微软拼音在运行，却没有登记到

原创 JavaScript这浓眉大眼的也背叛革命了(一)

更新：忘记加入对generic function的概述了。刚才补上。另外chenxiaoshun老大提了个很好的问题：generic function和function overloading有什么区别？区别就是，调用哪个generic function是在运行时决定的，同调用虚函数实现多态一致。而重载函数是在编译时确定的。补充的内容是：Generic function就是用来解决这类多分

原创 T61P使用体验

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

原创 谁说内存管理不重要来着？

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

转载 科学和信仰

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

原创 晕

转载 WEB开发的技术

 无语ing 

转载 吃了大力丸的Ruby:unfold的实现

最近奇忙。从早到晚工作。别说写博客，连读博客都 没有时间。虽然一直想八卦一下JavaScript那浓眉大眼的也背叛革命了这件大事，却抽不出空。不过看到这么精彩的代码，还是忍不住转载。起因是这样的：大家都熟悉fold函数，也就是Ruby里常用的inject()函数：给出起始值，把某个Collection里的值叠加上去。比如说，给出起始值0，累加数组[1, 2, 3, 4, 5]： [1, 2

转载 Pina Colada Song现实版

从pmarca那里看到的。 就是Rupert Holmes的Pina Colada Song的翻版。只是结局没有那么美妙。这里有安普若写的介绍。  

原创 Coders @ Work

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

转载 编程范式的示意图

 从LtU上看到的。这张图根据CTM的思路，勾画了不同编程范式的特性和联系。方框代表某种编程范式。箭头边的黑体字表示箭头上方编程范式的代表性语言。以“+”为前缀的斜体小字是一种编程范式过渡到另一种编程范式需要的语言特性。CTM从阳春版的核心语言(kernel language)开始，逐步解释语言不足之处，并由此加入新的语言特性，最后就得到了几乎完整的语言—Oz。这就是为什么Oz出现在多条分支的

原创 看来空欢喜了一场

前两天还在高兴买了便宜书 ，今天就看到reddit上有人爆料说Amazon承认标价出错，所以把订单里的低价书取消了。查了下自己的帐户，两本$3.95的书果然不见了，取而代之的是额外的运费，因为其它两本书的总价低于$39。囧rz。虽说这本不是我该捡的便宜，但多少有些郁闷。这大概符合普遍的心理：失去比不能得到更让人不爽。记不得在哪里看的了，Ebay有个定价拍卖功能。用户可以设定出价上限，然后系统负

原创 Lisp for Small Prices

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

转载 Design Patterns

  Apache XML-RPC。石化中。。。  

转载 残酷的语言兴亡

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

原创 Orz oz

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

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

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

转载 Wired上关于Jim Gray的文章

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