2008年03月
Steve McConnell的博客帖子。详述了程序员产率相差10倍的来历。插草标 卖身推荐。引用一段：80年代中期，波音上了一坨重要项目。80枚程序员参与其中。项目不顺利，眼看要错过一坨不容错过的最后期限。为了保证该项目成功，波音调走了这80枚老大，请来一个人。于是这枚老大以一人之力，按时按量交割项目。
剩下的问题是：我们怎么才能培养出这种一击必杀的能力？
阅读全文>
发表于 @ 2008年03月28日 21:42:00|评论(loading...)|编辑
早上上班，听Software Engineering Radio对Joe Armstrong的访谈。Software Engineering Radio办得真不错。请来业界风云人物娱乐大众。访谈前主持人做了功课，提的问题颇为有趣，引得被采访着侃侃而谈。上期对Galen Hunt的访谈也挺精彩，把Singularity OS吹得比Singularity还有卖点。
Joe在谈到并发编程对程序员冲击时提到2006年的新闻：2010年Intel会推出32核的CPU Keifer。到时候，写惯顺序处理程序的程序员在老板面前抱怨性能问题时需要三思。因为老板到你机器上一看，保证怒从心头起，恶向胆边生：靠！你丫才用了3%的CPU cycle，也好意思说遇到性能问题！想来一枚对并发编程无所谓的程序员，听了这段话应该对并发编程兴趣大增吧？
除开便于跟踪状态出错地点外，我以前一直奇怪Erlang的变量只能赋值一次的原因。要说支持合理并发，进程间禁止共享数据，强化消息传递就行了。进程内还是可以支持私有状态嘛。结果Joe说Erlang变量赋值的规则是当年用Prolog时传承下来的风格，并没有特别的原阅读全文>
发表于 @ 2008年03月21日 02:03:00|评论(loading...)|编辑
接着八卦前先回答老大们直指灵魂的问题。不就是系统状态遍历的问题么？干嘛非得用什么时序逻辑、模型一类的形式化手段啊？搞得比陈凯歌还深沉。做人不能这么无耻不是？找个真正的程序员，放出手里的蝴蝶不就搞定了？
嗯，很多程序的确可以靠程序达人强大的自觉和天才的排错能力搞定。问题是，模型检验的对象是高并发复杂系统（比如说1020个状态），目标是绝对可靠地查出系统的错误，既不错杀三千，也不放过一个。这些系统失败时的代价也高昂。奔腾94年的FDIV错误花掉Intel至少5亿美元。偏偏我们对并发系统编程也没有什么特别有效的手段，不然大家也不至于对Heisenbug津津乐道了。我们在这种情况下怎么能全靠自己的直觉？何况直觉有时相当不可靠。在这篇让人崩溃的论文问世前，谁能想到在一个异步多进程拥有可靠网络的的分布系统中，哪怕一个出错的进程就能所有进程无法通过消息传递对一个值达成共识呢？当我们需要确保设计无错的时候，形式推理非常称手的工具。有些老大可能不知道，我们只所以能放心使用常用的数据结构和算法，多少也因为那些算法经过了严格的证明。当初Purely Functional Data St阅读全文>
发表于 @ 2008年03月18日 10:34:00|评论(loading...)|编辑
任话事人讨伐员工的檄文：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
引一小段：So don't tell your star salespeople to take the bus and stay with relatives when they make that call in St. Louis, even though that's what you did when you started the company.
顺便学习英文短语：disconnected from reality
阅读全文>
发表于 @ 2008年03月13日 20:58:00|评论(loading...)|编辑
从傅国涌的 民国往事看来的。那个时代的风骨啊。按理说不应该全文转帖，但是考虑到牛博上反动文人们随时会被和谐，就破例抄在这里了。CSDN的大大们放心，这篇文章一点都不反动。“人各有志，给分六十” 物理老师魏荣爵在学生谢邦敏富的试卷上赋诗一首：“卷虽白卷，词却好词。人各有志，给分六十。” 天津南开中学名动天下，在抗战前后创办于沙坪坝的重庆南开中学，在“允公允能”的校训下，也有无数值得莘莘学子追忆的往事。经济学家吴敬链回忆：“我虽然只在南开念过两年书，但南开给予我的基本训练方面的影响，却是极其深远的。除语文、数学等功课外，从逻辑思维、语言表达，‘公民’课上关于如何开会、如何选举、如何表决的训练，……都使我终身受用不尽。总之，就我的亲身感受而言，南开教育之所谓的‘高贵’，指的并不是生活上的奢侈和安逸，也不是目中无人和颐指气使，而是对于德、智、体、美四育并进的高素质要求。”南开中学自编国文课本，首席语文教师孟志荪是主编之一，蒋介石所喜欢的王阳明一篇也未能入选，曾国藩家书也只选了一篇。蒋介石几次亲临沙坪坝看望张伯苓，“未闻校方出来组织三呼万岁之类的举阅读全文>
发表于 @ 2008年03月08日 00:50:00|评论(loading...)|编辑
2007图灵奖和模型检验不知道长达半年的疯狂加班是否损害了自己的心理健康。回顾过去几个月，似乎除了工作嘛都没干。人仿佛颓了，觉得时光了无意义地飞逝，过去半年的泰半记忆好像盛夏阳光里的冰块，蒸发得不剩一丝水汽。幸好不是全无亮点，比如看到好朋友幸福无比地结婚。中学好友到家里盘桓月余，也是一大快事。Steve McConnell在Rapid Development里的案例分析里提到death march之后程序员往往大批离开。想不到这次亲自体会了一把，人生又完整了一点。过去几周一系列戏剧性的事件让我仔细思考了一下激励团队士气的问题，也算小小的收获。跑题了。本来想说什么来着？对了，图灵奖和模型检验。2007年的图灵奖授予Edmund M. Clarke, E. Allen Emerson, and Joseph Sifakis，表彰他们在模型验证方面做出的开创性贡献。前段时间白天忙项目，晚上改简和历准备面试，也就没有心情八卦。刘江老师在他的博客里做了详细介绍，在这里推荐一下。关于几位大牛，俺没有什么补充的，就八卦一下他们的研究方向：模型检验。模型检验是计算机科学理论与实践结阅读全文>
发表于 @ 2008年03月03日 11:00:00|评论(loading...)|编辑