http://blog.csdn.net/g9yuayon/我的email: rot47('649@ 6(hF+`hd"w=92vhG{&amp;amp;gt;}G3"@l M &amp;amp;gt;:&amp;amp;gt;6?4@56 \F')zh-CNSun, 28 Sep 2008 12:18:00 GMT60g9http://blog.csdn.net/g9yuayon/archive/2008/09/28/2991560.aspxSun, 28 Sep 2008 12:00:00 GMThttp://blog.csdn.net/g9yuayon/archive/2008/09/28/2991560.aspxhttp://blog.csdn.net/g9yuayon/comments/2991560.aspxhttp://blog.csdn.net/g9yuayon/archive/2008/09/28/2991560.aspx#Feedback0http://blog.csdn.net/g9yuayon/comments/commentRss/2991560.aspxhttp://tb.blog.csdn.net/TrackBack.aspx?PostId=2991560谁说社会软件没用来着？&lt;a href="http://gilesbowkett.blogspot.com/2008/09/heart-warming-love-story.html"&gt;via&lt;/a&gt;&lt;br&gt;<img src ="http://blog.csdn.net/g9yuayon/aggbug/2991560.aspx" width = "1" height = "1" />g9http://blog.csdn.net/g9yuayon/archive/2008/07/26/2712311.aspxSat, 26 Jul 2008 00:21:00 GMThttp://blog.csdn.net/g9yuayon/archive/2008/07/26/2712311.aspxhttp://blog.csdn.net/g9yuayon/comments/2712311.aspxhttp://blog.csdn.net/g9yuayon/archive/2008/07/26/2712311.aspx#Feedback4http://blog.csdn.net/g9yuayon/comments/commentRss/2712311.aspxhttp://tb.blog.csdn.net/TrackBack.aspx?PostId=2712311 Randy Pausch昨夜过世。不了解他的，去看他的最后一课吧。这里有中文字幕版。Erik Sink已经总结得很好了：Every man dies. Not every man truly lives. Rest in peace, Dr. Pausch. You truly lived.<img src ="http://blog.csdn.net/g9yuayon/aggbug/2712311.aspx" width = "1" height = "1" />g9http://blog.csdn.net/g9yuayon/archive/2008/07/20/2679202.aspxSun, 20 Jul 2008 00:23:00 GMThttp://blog.csdn.net/g9yuayon/archive/2008/07/20/2679202.aspxhttp://blog.csdn.net/g9yuayon/comments/2679202.aspxhttp://blog.csdn.net/g9yuayon/archive/2008/07/20/2679202.aspx#Feedback40http://blog.csdn.net/g9yuayon/comments/commentRss/2679202.aspxhttp://tb.blog.csdn.net/TrackBack.aspx?PostId=2679202出来混，迟早要还。也有了人生第一次电话面试。没有签NDA，所以在这里分享一下。但愿对各位大佬有帮助。职位是架构。要求是对Java和J2EE熟，能编程，熟悉OO设计。有架构经验，等等等等，都是大路货，没什么出奇的。再说出奇的我也不行啊。 总的感受： 用自己的话总结对方的话挺有用。表明了你在积极思考，理解了对方的意思，并且避免了双方的误解。关键是要加上自己的理解、延伸，和追加问题。面试官介绍他们的技术时我用了这坨方法，明显感到对方话多起来，也更为随意。大概正确的理解让对方打开了话匣子。 准备一个电话用耳机。不然一小时的面试下来，手挺累的。而且做编程题时需要在本子上演算，拿着话筒也不方便。用免提效果不如耳机好。尤其现在家 家都用IP电话，用免提有非常明显的杂音。 准备一杯水。除非老大您久经沙场，面试如老友闲谈。多少会紧张，导致口干。一杯水能让人舒服，很好地缓解情绪。 问题挺简单，但我居然卡壳。可见事前充分准备多重要。下面详说。 大致的面试过程 寒暄过后，面试官介绍他们的技术。介绍完后，问我有没有问题。我陈述自己对他们技术的理解，列举了几坨<img src ="http://blog.csdn.net/g9yuayon/aggbug/2679202.aspx" width = "1" height = "1" />g9http://blog.csdn.net/g9yuayon/archive/2008/07/19/2675911.aspxSat, 19 Jul 2008 04:14:00 GMThttp://blog.csdn.net/g9yuayon/archive/2008/07/19/2675911.aspxhttp://blog.csdn.net/g9yuayon/comments/2675911.aspxhttp://blog.csdn.net/g9yuayon/archive/2008/07/19/2675911.aspx#Feedback15http://blog.csdn.net/g9yuayon/comments/commentRss/2675911.aspxhttp://tb.blog.csdn.net/TrackBack.aspx?PostId=2675911领导和我喜欢背个大包到处流窜，牵着手在陌生的地方里漫不经心地穿行。一不小心，这次准备玩儿个大的。有些朋友大概已经知道，三周后我就要离开IBM，加入LA一家小小的startup，做对我来说完全陌生的搜索引擎和广告目标锁定。并非对IBM不满。相反，公司有一流的工作环境。我肯定会想念公司小溪边硕大的乌龟，草地上慵懒的梅花鹿，蹒跚过街而阻断车流的雁群，游戏间酣畅的Unreal对战，设备齐全的健身房，淙淙流水旁宽大绵软的沙发，名目繁多的培训和讲座，以及看不尽好书的图书馆。公司有一流的团队：善解人意又杀伐决断的经理，编程速度10倍于我又谙熟业界的架构，心细如发善于合作的同事。只可惜不能向他们多学一点。 既然公司有诸般好处，为什么要自绝生路，傻不拉几地离开呢？抛开私人的家庭原因不谈，主要是福利和稳定的收入并非我的终极动力。Paul Graham笔下的startup才有无边诱惑：七八个人，十来条枪，为了一坨共同目标全力投入。利用有限的资源，从无到有搭建自己的梦想。Necessities lead to creativities. Constraints become liberation. 那种<img src ="http://blog.csdn.net/g9yuayon/aggbug/2675911.aspx" width = "1" height = "1" />g9http://blog.csdn.net/g9yuayon/archive/2008/06/21/2574781.aspxSat, 21 Jun 2008 19:02:00 GMThttp://blog.csdn.net/g9yuayon/archive/2008/06/21/2574781.aspxhttp://blog.csdn.net/g9yuayon/comments/2574781.aspxhttp://blog.csdn.net/g9yuayon/archive/2008/06/21/2574781.aspx#Feedback12http://blog.csdn.net/g9yuayon/comments/commentRss/2574781.aspxhttp://tb.blog.csdn.net/TrackBack.aspx?PostId=2574781CSDN的大大们啊，行行好啊。修复这坨不能自动上传图片的错误啊。好像已经三个月了啊。图多的时候发文章真地很痛苦啊。Orz Orz Orz 在pongba的讨论组上看到一道Amazon的面试题：找出给定字符串里的最长回文。例子：输入XMADAMYX。则输出MADAM。这道题的流行解法是用后缀树（Suffix Tree)。这坨数据结构最酷的地方是用它能高效解决一大票复杂的字符串编程问题： 在文本T里查询T是否包含子串P（复杂度同流行的KMP相当）。 文本T里找出最长重复子串。比如abcdabcefda里abc同da都重复出现，而最长重复子串是abc。 找出字符串S1同S2的最长公共子串。注意不是常用作动态规划例子的LCS哈。比如字符串acdfg同akdfc的最长公共子串为df，而他们的LCS是adf。 Ziv-Lampel无损压缩算法。 还有就是这道面试题问的最长回文了。 另外后缀树在生物信息学里应该应用广泛。碱基匹配和选取的计算本质上就是操作超长的{C, T, A, G, U}*字符串嘛。 虽说后缀树的概念独立于Trie的概念，但我觉<img src ="http://blog.csdn.net/g9yuayon/aggbug/2574781.aspx" width = "1" height = "1" />g9http://blog.csdn.net/g9yuayon/archive/2008/06/14/2548492.aspxSat, 14 Jun 2008 15:58:00 GMThttp://blog.csdn.net/g9yuayon/archive/2008/06/14/2548492.aspxhttp://blog.csdn.net/g9yuayon/comments/2548492.aspxhttp://blog.csdn.net/g9yuayon/archive/2008/06/14/2548492.aspx#Feedback6http://blog.csdn.net/g9yuayon/comments/commentRss/2548492.aspxhttp://tb.blog.csdn.net/TrackBack.aspx?PostId=2548492&amp;amp;amp;#160; CSDN的大大们啊，求求你们了啊。修复这坨不能自动上传图片的错误啊。好像已经三个月了啊。图多的时候发文章真地很痛苦啊。Orz Orz Orz 准备八卦Edmund等人算法时才想起，人1986年成名作是讨论用CTL (Computational Tree Logic) 作规范语言的模型验证算法，而第一篇八卦失心疯只介绍了LTL。虽说也有算法对付Kripke结构上的LTL模型验证，但一来该算法的复杂度为P-SPACE，远不如在Kripke结构上玩儿CTL的算法复杂度来得震撼；二来经典的LTL模型验证方法是将LTL公式转换为B&amp;amp;amp;#252;chi Automata后表演自动机理论与搜索算法的花活。三来俺的初衷是介绍今年图灵奖得主Edmund等人的工作，铺垫半天后突然跳到跟自动机理论有关的LTL模型验证，大有相亲却看中女方伴娘的架势，不够厚道。所以这次先八卦CTL。下次再谈算法。其实B&amp;amp;amp;#252;chi Automata这类有限状态的无穷自动机妙趣无方，足够另开系列细细八卦。 幸好有LTL垫底，C<img src ="http://blog.csdn.net/g9yuayon/aggbug/2548492.aspx" width = "1" height = "1" />g9http://blog.csdn.net/g9yuayon/archive/2008/05/24/2479278.aspxSat, 24 May 2008 18:09:00 GMThttp://blog.csdn.net/g9yuayon/archive/2008/05/24/2479278.aspxhttp://blog.csdn.net/g9yuayon/comments/2479278.aspxhttp://blog.csdn.net/g9yuayon/archive/2008/05/24/2479278.aspx#Feedback9http://blog.csdn.net/g9yuayon/comments/commentRss/2479278.aspxhttp://tb.blog.csdn.net/TrackBack.aspx?PostId=2479278牛博看来的。这才叫责任。这才叫领导力。 http://www.bullog.cn/blogs/buchong/archives/140359.aspx# &#160; 以防牛博被和谐。这里是全文： 多么牛B的校长（zt) 令狐补充 @ 2008-5-25 5:56:56 阅读(153) 引用通告 分类: 网海钩沉 新华网四川安县5月24日电 题：一个灾区农村中学校长的避险意识 新华社记者朱玉、万一、刘红灿 他矮，胖胖的。 他所在的中学，是四川安县桑枣中学，是一所初级中学，在绵阳周边非常有名。学校因教学质量高，连续13年都是全县中考第一名，周围家长都拼命把孩子往里送。学生最多的班，有80多名学生，最前排的学生几乎坐在老师下巴前。 地震来临时，他正在绵阳办事。大地震动，他站不稳，只好与学校的总务长互相抱着。 手机打不通，电话断了，第一波震荡过去后，他立即驱车往地处重灾区的学校赶。 车开得飞快，路上他一句话也不说。 他惦记着学校那栋没有通过验收的实验教学楼，心里最怕的是那栋楼出事。 上世纪80年代中，那栋楼建设时，学校没有找正规的建筑公司， 断断续续地盖<img src ="http://blog.csdn.net/g9yuayon/aggbug/2479278.aspx" width = "1" height = "1" />g9http://blog.csdn.net/g9yuayon/archive/2008/05/13/2443489.aspxTue, 13 May 2008 15:24:00 GMThttp://blog.csdn.net/g9yuayon/archive/2008/05/13/2443489.aspxhttp://blog.csdn.net/g9yuayon/comments/2443489.aspxhttp://blog.csdn.net/g9yuayon/archive/2008/05/13/2443489.aspx#Feedback4http://blog.csdn.net/g9yuayon/comments/commentRss/2443489.aspxhttp://tb.blog.csdn.net/TrackBack.aspx?PostId=2443489就像土摩托说的那样，一遇灾难，各路棍状神仙就嗖嗖地跳出来。比如有人教育大家养专家不如养蛤蟆。从网上铺天盖地的讨论来看，信的人还不少。看来都是明白人，都不鸟达尔文的落后学说、逻辑这种废柴思维、或者统计这号违反直觉的无稽之谈。 。这么强大的思考方法，必须鼓励。土摩托这厮，必须批判。下面给各位老大奉献几道家庭作业题，纯供批判落后思维用： &amp;amp;#160; 简答题 简述一类错误(Type I error)与二类错误(Type II error)的定义。分析为何震前蛤蟆过河充分说明了这两条定义的荒谬？ 解释为什么相关性等同于因果关系。分析为什么区别两者异同是思维不严密的表现。 根据进化论，生物没有必要为小概率事件进化出对应的适应性功能。试举出该论点的10大错误。 试说明为啥我们虽然没有预测出这次重大灾难，但却可以相信一个陌生人说的我们的下午4点30分02秒会有9.51413级地震。 论述题 案例：小明早上发烧，走路晃悠。一不小心，他摔了一跤，刚巧糊了一嘴狗屎。下午小明烧退。很明显，这是狗屎的作用。小明很高<img src ="http://blog.csdn.net/g9yuayon/aggbug/2443489.aspx" width = "1" height = "1" />g9http://blog.csdn.net/g9yuayon/archive/2008/03/28/2226818.aspxFri, 28 Mar 2008 21:42:00 GMThttp://blog.csdn.net/g9yuayon/archive/2008/03/28/2226818.aspxhttp://blog.csdn.net/g9yuayon/comments/2226818.aspxhttp://blog.csdn.net/g9yuayon/archive/2008/03/28/2226818.aspx#Feedback2http://blog.csdn.net/g9yuayon/comments/commentRss/2226818.aspxhttp://tb.blog.csdn.net/TrackBack.aspx?PostId=2226818Steve McConnell的博客帖子。详述了程序员产率相差10倍的来历。插草标 卖身推荐。引用一段：80年代中期，波音上了一坨重要项目。80枚程序员参与其中。项目不顺利，眼看要错过一坨不容错过的最后期限。为了保证该项目成功，波音调走了这80枚老大，请来一个人。于是这枚老大以一人之力，按时按量交割项目。 剩下的问题是：我们怎么才能培养出这种一击必杀的能力？ <img src ="http://blog.csdn.net/g9yuayon/aggbug/2226818.aspx" width = "1" height = "1" />g9http://blog.csdn.net/g9yuayon/archive/2008/03/21/2201473.aspxFri, 21 Mar 2008 02:03:00 GMThttp://blog.csdn.net/g9yuayon/archive/2008/03/21/2201473.aspxhttp://blog.csdn.net/g9yuayon/comments/2201473.aspxhttp://blog.csdn.net/g9yuayon/archive/2008/03/21/2201473.aspx#Feedback5http://blog.csdn.net/g9yuayon/comments/commentRss/2201473.aspxhttp://tb.blog.csdn.net/TrackBack.aspx?PostId=2201473早上上班，听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时传承下来的风格，并没有特别的原<img src ="http://blog.csdn.net/g9yuayon/aggbug/2201473.aspx" width = "1" height = "1" />g9http://blog.csdn.net/g9yuayon/archive/2008/03/18/2193776.aspxTue, 18 Mar 2008 10:34:00 GMThttp://blog.csdn.net/g9yuayon/archive/2008/03/18/2193776.aspxhttp://blog.csdn.net/g9yuayon/comments/2193776.aspxhttp://blog.csdn.net/g9yuayon/archive/2008/03/18/2193776.aspx#Feedback12http://blog.csdn.net/g9yuayon/comments/commentRss/2193776.aspxhttp://tb.blog.csdn.net/TrackBack.aspx?PostId=2193776接着八卦前先回答老大们直指灵魂的问题。不就是系统状态遍历的问题么？干嘛非得用什么时序逻辑、模型一类的形式化手段啊？搞得比陈凯歌还深沉。做人不能这么无耻不是？找个真正的程序员，放出手里的蝴蝶不就搞定了？ 嗯，很多程序的确可以靠程序达人强大的自觉和天才的排错能力搞定。问题是，模型检验的对象是高并发复杂系统（比如说1020个状态），目标是绝对可靠地查出系统的错误，既不错杀三千，也不放过一个。这些系统失败时的代价也高昂。奔腾94年的FDIV错误花掉Intel至少5亿美元。偏偏我们对并发系统编程也没有什么特别有效的手段，不然大家也不至于对Heisenbug津津乐道了。我们在这种情况下怎么能全靠自己的直觉？何况直觉有时相当不可靠。在这篇让人崩溃的论文问世前，谁能想到在一个异步多进程拥有可靠网络的的分布系统中，哪怕一个出错的进程就能所有进程无法通过消息传递对一个值达成共识呢？当我们需要确保设计无错的时候，形式推理非常称手的工具。有些老大可能不知道，我们只所以能放心使用常用的数据结构和算法，多少也因为那些算法经过了严格的证明。当初Purely Functional Data St<img src ="http://blog.csdn.net/g9yuayon/aggbug/2193776.aspx" width = "1" height = "1" />g9http://blog.csdn.net/g9yuayon/archive/2008/03/13/2179174.aspxThu, 13 Mar 2008 20:58:00 GMThttp://blog.csdn.net/g9yuayon/archive/2008/03/13/2179174.aspxhttp://blog.csdn.net/g9yuayon/comments/2179174.aspxhttp://blog.csdn.net/g9yuayon/archive/2008/03/13/2179174.aspx#Feedback4http://blog.csdn.net/g9yuayon/comments/commentRss/2179174.aspxhttp://tb.blog.csdn.net/TrackBack.aspx?PostId=2179174任话事人讨伐员工的檄文：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 <img src ="http://blog.csdn.net/g9yuayon/aggbug/2179174.aspx" width = "1" height = "1" />g9http://blog.csdn.net/g9yuayon/archive/2008/03/08/2157621.aspxSat, 08 Mar 2008 00:50:00 GMThttp://blog.csdn.net/g9yuayon/archive/2008/03/08/2157621.aspxhttp://blog.csdn.net/g9yuayon/comments/2157621.aspxhttp://blog.csdn.net/g9yuayon/archive/2008/03/08/2157621.aspx#Feedback4http://blog.csdn.net/g9yuayon/comments/commentRss/2157621.aspxhttp://tb.blog.csdn.net/TrackBack.aspx?PostId=2157621从傅国涌的 民国往事看来的。那个时代的风骨啊。按理说不应该全文转帖，但是考虑到牛博上反动文人们随时会被和谐，就破例抄在这里了。CSDN的大大们放心，这篇文章一点都不反动。“人各有志，给分六十” 物理老师魏荣爵在学生谢邦敏富的试卷上赋诗一首：“卷虽白卷，词却好词。人各有志，给分六十。” 天津南开中学名动天下，在抗战前后创办于沙坪坝的重庆南开中学，在“允公允能”的校训下，也有无数值得莘莘学子追忆的往事。经济学家吴敬链回忆：“我虽然只在南开念过两年书，但南开给予我的基本训练方面的影响，却是极其深远的。除语文、数学等功课外，从逻辑思维、语言表达，‘公民’课上关于如何开会、如何选举、如何表决的训练，……都使我终身受用不尽。总之，就我的亲身感受而言，南开教育之所谓的‘高贵’，指的并不是生活上的奢侈和安逸，也不是目中无人和颐指气使，而是对于德、智、体、美四育并进的高素质要求。”南开中学自编国文课本，首席语文教师孟志荪是主编之一，蒋介石所喜欢的王阳明一篇也未能入选，曾国藩家书也只选了一篇。蒋介石几次亲临沙坪坝看望张伯苓，“未闻校方出来组织三呼万岁之类的举<img src ="http://blog.csdn.net/g9yuayon/aggbug/2157621.aspx" width = "1" height = "1" />g9http://blog.csdn.net/g9yuayon/archive/2008/03/03/2142354.aspxMon, 03 Mar 2008 11:00:00 GMThttp://blog.csdn.net/g9yuayon/archive/2008/03/03/2142354.aspxhttp://blog.csdn.net/g9yuayon/comments/2142354.aspxhttp://blog.csdn.net/g9yuayon/archive/2008/03/03/2142354.aspx#Feedback5http://blog.csdn.net/g9yuayon/comments/commentRss/2142354.aspxhttp://tb.blog.csdn.net/TrackBack.aspx?PostId=21423542007图灵奖和模型检验不知道长达半年的疯狂加班是否损害了自己的心理健康。回顾过去几个月，似乎除了工作嘛都没干。人仿佛颓了，觉得时光了无意义地飞逝，过去半年的泰半记忆好像盛夏阳光里的冰块，蒸发得不剩一丝水汽。幸好不是全无亮点，比如看到好朋友幸福无比地结婚。中学好友到家里盘桓月余，也是一大快事。Steve McConnell在Rapid Development里的案例分析里提到death march之后程序员往往大批离开。想不到这次亲自体会了一把，人生又完整了一点。过去几周一系列戏剧性的事件让我仔细思考了一下激励团队士气的问题，也算小小的收获。跑题了。本来想说什么来着？对了，图灵奖和模型检验。2007年的图灵奖授予Edmund M. Clarke, E. Allen Emerson, and Joseph Sifakis，表彰他们在模型验证方面做出的开创性贡献。前段时间白天忙项目，晚上改简和历准备面试，也就没有心情八卦。刘江老师在他的博客里做了详细介绍，在这里推荐一下。关于几位大牛，俺没有什么补充的，就八卦一下他们的研究方向：模型检验。模型检验是计算机科学理论与实践结<img src ="http://blog.csdn.net/g9yuayon/aggbug/2142354.aspx" width = "1" height = "1" />g9http://blog.csdn.net/g9yuayon/archive/2008/01/11/2034708.aspxFri, 11 Jan 2008 00:45:00 GMThttp://blog.csdn.net/g9yuayon/archive/2008/01/11/2034708.aspxhttp://blog.csdn.net/g9yuayon/comments/2034708.aspxhttp://blog.csdn.net/g9yuayon/archive/2008/01/11/2034708.aspx#Feedback10http://blog.csdn.net/g9yuayon/comments/commentRss/2034708.aspxhttp://tb.blog.csdn.net/TrackBack.aspx?PostId=2034708好像太八卦了一点，不过这是Knuth ，我的终极偶像啊。就算他没有写注定留名青史的The Art of Computer Programming(是滴，俺有空还在读），就算他不是最早让人们认识到算法也可以定量严格分析（没有算法分析，哪里有现代计算机科学嗫？）的人，就算他没有发明和改进LR解析方法，就算他不是最早独立实现Algo编译器的人，就算他不是编程语言经验研究方法的奠基人，就算他没有提出Attribute Grammar，只看他10年间写出免费排版软件TeX（读Tek哈）和字体软件METAFONT，单枪匹马灭掉一个行业：科技出版物人肉排版，就足以让人诚服。这种欧拉式的文艺复兴男不是每个世纪都有的。 还是Lance Fortnow总结得好：Knuth的态度是I want to solve problem X and I'll use whatever math I need to solve it, even if I have to develop it myself. 另外这里有一堆连接供八卦人士享用。这些包含热情的文字读来极富乐趣，强烈推荐。 Update:<img src ="http://blog.csdn.net/g9yuayon/aggbug/2034708.aspx" width = "1" height = "1" />