强大的告别信。这里登的：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的最大卖点还在于速度。他的虚拟机运用所谓的“类型反馈”技术（下面会讲），动态地编译和优化代码，把常用的代码内联，极大地提高了运行速