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

链接在这里还是不太明白为什么大脸猫说Imperative语言违背了图灵机的计算模型。冯.诺依曼的模型并不是计算模型吧？它只是计算模型的一种具体实现而已，而且这个模型恰恰有效率地实现了图灵机的计算模型。简单对比一下，两者都依赖于状态的改变。我记得图灵机不就是用读写头去改变带子上的状态么？而带子上的状态也可以指示读写头到底怎么操作。这个和冯的模型完全一致吧：存储单元里的数据既可以是纯的数据，也可以是指

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

链接在这里。连StrongTalk的卖点，一个性能卓越的虚拟机，都被开源了。StrongTalk是SmallTalk的变种，允许静态类型（所以才叫"Strong"而不是small哈。当然，静态类型可用可不用，随喜），支持类型推断。这些还不是主要卖点。StrongTalk的最大卖点还在于速度。他的虚拟机运用所谓的“类型反馈”技术（下面会讲），动态地编译和优化代码，把常用的代码内联，极大地提高了运行速

Don Knuth。高爷爷其实用不着偶多说。学编程的不知道他就好像学物理的不知道牛顿，学数学的不知道欧拉，学音乐的不知道莫扎特，学Delphi的不知到Anders Hejlsberg，或者学Linux不知道Linus Torvalds一样，不可原谅啊。:-)为了让文章完整，就再罗唆几句吧。高爷爷本科时就开始给行行色色的公司写各种稀奇古怪的编译器挣外快了。他卖给别人时收一两千美元，那些公司拿了cod

这篇文章写得有道理啊。Joel Spolsky 也说，如果他看到谁简历上罗列一堆证书，首先就怀疑这个人是不是把时间都花到考试上了，而不是把时间用到真正掌握技术。其实简历上最令人看重的是过往业绩。有了业绩，证书实在是可有可无的东西。如果一个人经常给Linux内核提交补丁，那他就算没有高中毕业证书公司也会考虑要他。相反，如果一个人连项目都没做过几个，就算是系统分析师，我也不敢把项目交给他的说。 最想不

当年Lotus Development的创始银，Lotus 1-2-3的设计者Mitchell Kapor，离开Lotus后拉开单干，成立了开源应用基金会(OSAF)。他招募了一堆牛程，开发号称革命性的下一代个人信息管理系统－－Chandler。我还记得Mitchell Kapor宣布要开发Chandler的时候，开源社区一片鼓噪，媒体报道铺天盖地，哭喊终于有人出手，搞死天杀的Outlook，抽翻