负暄琐话

更新：有人问这个算法的原理。其实原理很简单。就是牛顿迭代求根。卡马克算法牛X的地方就是他选了一个常数作为起始值。而这个起始值让他只用一次迭代就够了。从这里看来的。QuakeIII自然就是传奇高手卡马克的杰作之一了。在有的CPU上，这个函数比普通的(float)(1.0/sqrt(x)快4倍！快的原因之一是用了一个神秘常数，0x5f3759df。普渡大学的Chris Lomont在这篇论文里讨论了这

 当然，不是代数里那个针对操作的closure，而是函数编程里的closure。这里 是提议的PDF。从PDF来看，Java准备支持通行的lexical scoped closure。也就是说，一个函数对象读取的自由变量必须由源代码的结构决定。看例子吧：public static void main(String[] args){    int plus2(int x){ return

回答张老师的一个问题。下面的回答虽然油嘴滑舌，但我承认这个问题本身比较有趣，属于有关UTF-8的基础知识，值得掌握。人家布老大都说了，如果你想请教他怎么写处理32位的编码解码程序，得交钱，还是美元。可见这个知识还是很有用的。  下面是回答：困扰大半年？是看了Bruce Eckel的帖子后来考您的吧？连测试的例子都和布老大的一模一样。 功夫在诗外啊。与其说是Java问题，不如说是UTF-8编

xys上转来的。瞧这八卦写的，比我的专业多了。最后一段话笑死人了。《纽约客》上有篇长文，专讲几十年来Poincaré 猜想证明的来龙去脉，有兴趣的可以到这里读。看到一段新闻，说Perelman现在靠老妈养活。这大概是最牛的啃老一族了吧。下面是转贴：今天公布了2006菲尔兹奖的得主，俄国人 Grigory Perelman 因为证明 Poincaré 猜想众望所归地成为四个获奖者之一，也同样跟大

今年的菲尔兹奖于8月22号揭晓了。小小八卦一下。我不是学数学的。说错了尽管飞砖。Fields奖是数学界的顶尖大奖之一（另一个应该是沃尔夫奖，没有得奖人年龄不得超过40岁的限制）。不信问问田刚没有得奖是不是很郁闷之极？  当年好吃懒做，在Fields研究所咫尺之遥生活学习了几年，也没去拜访拜访，听听大牛的讲座，也算人生憾事。今年得主是俄国的Andrei Okounkov和Grigori Perelm

  The Economist的广告。不知道是微软的PR要被开掉了，还是The Economist广告部的要倒霉？ 从ongoing上看到的。

 如果哪位老大不知道图灵奖的话，图灵奖是计算机领域的大奖，相当于诺贝尔或者数学的菲尔兹奖。2006年的图灵奖给了IBM终生院士(IBM Fellow Emerita), Frances E. Allen。ACM的官方声明说Frances因为在编译器优化的理论和实践方面做出的开创性贡献而获奖。她的工作奠定了现代优化编译器和自动并行化执行的基础。 这里有IBM研究院牛人的一手八卦。 Fra

有朋友问什么是图灵机以及NP。理论界的老大们都喜欢云山雾罩公式套公式，圆环套圆环，不diao骂人不吐脏字、讲题不带公式的娱乐界原则。搞得很多人提到图灵机和NP时表情就跟广西来宾市的老大们一样诡异。 其实呢，图灵机的来历忒单纯。以前一个叫图灵的闲人养了只无所事事的小母鸡。图灵成天忙着跑马拉松，懒得照顾它，就装了条在鸡看来无限长分格的传送带，定时传送食物和水。而鸡闲来无聊，便走来走去，在带子上

上周六过世的。终年82岁。当年John在IBM大型机上用机器语言编程，累得半死。一怒之下组建了一支10人的研发队伍，开发出了Fortran。我们常用的BNF语法也是他的手笔。//sigh...不知不觉已经到了心目中的英雄们渐行渐远的年纪。 纽约时报有报道。想不到John W Backus当年也有那么多传奇故事。摘他的话自勉：你得愿意不断失败。。。你得产生很多主意并刻苦工作，最后不过发现这些点子其实

 I rest my case. 不，不是我找茬。在mitbbs上看来的。 

 发表在《程序员》2007年7月刊上。不log上写帖子不用考虑版面限制，所以这里的帖子比发表的啰嗦点。赵健平编辑，Jacky，和刘未鹏都给了我很多帮助，在这里一并谢了。免费的Scheme实现很多。我用的是PLT Scheme，可以到这里下载。PLT Scheme的IDE（Dr. Scheme）支持Emacs的键盘绑定，用emacs的老大们应该喜欢。Dr.Scheme内置中文支持：下面是

从这里看到的：http://www.cs.utsa.edu/~wagner/obfusc/ttt.html这个C程序可以和人玩儿tic-tac-toe－－用它的源代码当棋盘！它的源代码写成棋盘状。每走一步，程序就修改自己的源代码一次，用来记录棋子的位置。而且这个程序一边玩一边学习，一边学习一边修改它自己的代码，所以越下越好。我已经疯了。这里是走了一个回合后的源代码：

从mitbbbs上看来的。好玩儿。真伪不知。Reader discretion is advised. 顺便说一句，坊间流传德布罗易当年关于物质波的论文就两页，也能开创一个时代，让德布罗意不仅拿到博士学位，还捧回一个诺贝尔奖花差花差。其实这也是误传。那篇论文影响深远不假，可要说才两页（有一版本说不到10页)，也忒夸张了。这里有布公子论文的翻译本，足足81页。就算法语惜字如金，这1：40或1：8

洪晃的blog真不错。怎们别人痞都痞得那么酷呢？subscribed.引两段让我哈哈大笑的：这天请客的是一位英国上流社会的夫人，可能还有个什么爵位。这夫人是个大闷棍，可以没有语调地自说自话一个多钟头，特别是关于英国上流社会的花园，只要你问一句：请问花园里面到底应该种什么样的月季，她就开始滔滔不绝、平声调的演说，你可以闷头吃饭、上厕所、甚至找个漂亮服务生在卫生间作爱，把这些动作都完成后回到座位上

强烈推荐：http://tech.163.com/special/000915RB/find.html是不是说明163的后台比汉芯陈硬啊？

从小学时的《再向虎山行》，到后来的《警察故事》系列，我也算看着骠叔的电影长大。突然间意识到，我们江湖正渐行渐远。。。

 人见人耐的澳洲“鳄鱼邓笛”，Steve Irwin，在海底录制一个电视节目时被一只魟鱼(stingray, 网上的翻译稀奇古怪，我找了个家常点的）叮了一口，中毒去世。Steve向来喜欢和猛兽打交道，看到毒物大虫就high得不行。据说全世界每年死于魟鱼的人也就一两个。魟鱼只有在受到惊吓时才会用尾巴给你一下子。而且魟毒通常不致命，只会让人剧痛难忍。据一个海洋学家说，这头魟鱼多半一下子刺进了S

最近忙，居然忘了歌德尔的百年诞辰。这里是关于歌德尔诞辰的文章。1931年，歌德尔向世人宣告歌德尔不完备定理，希尔伯特第二猜想告破，人们对数学的看法从此改变。

  从SmallTalk Tidbits看来的。Erlang的作者Joe Armstrong到欧洲Smalltalk用户组做了个报告。James Robertson记录了报告的要点，顺便八卦了一下Erlang的历史。当年Armstrong在爱立信逍遥快活，做电话网络方面的开发（多半是交换机了）。他当时用过Smalltalk，可惜那个时候Smalltalk忒慢，不能满足电话网络的高性能要求。但阿

接着前两天的转载继续写。上次说到lambda算子的函数只接受一个参数。那怎么处理多个参数呢？如果只有一个参数，那岂不是连加法都不能实现？这当然难不倒像丘齐这样的天才。于是， lo and behold,  一个我们至今在编程里常用的技巧粉墨登场：Currying 据说Currying翻译为局部套用函数，也不知真假。喜欢吃印度美食的老大们不要激动。Currying和咖喱没有半点关系。这个技巧

胡新宇同学就是我们的榜样。没有义务加班的公司不能去。以后应聘的时候，工资待遇什么的都好商量，但加班时间没得商量。每周工作时间少于80小时的公司绝对不能去。那样的公司里没有职业前途可言。要知道，工作就是学习。工作就是生活。工作就是反思。没有加班，哪里来的自我提升？哪里来的一张一弛文武之道？人生在世谁无死，加班留名照汗青。绝不能学英国产业工人，居然在100多年前就争取每天只工作10小时。后来居然还串通

Whys Lucky Stiff  上看来的。俺只是搬运工。能读原文的老大们不用往下看了。嗯，假如一个类里有个实例方法。我们希望这个方法只运行一次。”切，我还以为是抢鸡蛋呢“，熟读铁撬书的老大们开始嗤之以鼻，”不就是第391页里Tadayoshi Funaba的once么？就连上一篇《吃了大力丸的Ruby》也有类似的实现”：01: def once(*ids)02: for id in

从三表的博客看到的。 去年初看到天涯上的连载，一口气读完已经写好的几十节后，就陷入这个超级大坑。不仅自己读，还在领导做饭时念给领导听。我俩无数次为曹三的精彩桥段狂笑。这年头少见这类历史文章了，古文写得这么流畅雅致，调侃得那么到位，抖包袱抖得那么痛快，旁征博引得那么出人意料。用三表的话说，就是“还木乃伊般的史料于血肉”。现在好，不用跳坑了。

什么是牛人灌水的榜样？看看这篇Peter Norvig在飞机上写的灌水文章就知道了。20行Python代码，直观应用贝叶斯定理，一个阳春版的Google拼写纠错就出来了。80%到90%的准确率。当然，当然，单词的模型也是一个大头，不过这不影响这篇文章的价值。作者反复强调建立对问题的直观理解也值得注意。都是妈生的，银和银差别咋恁大嗫，大兄弟？这两天灌了好几篇水，已经用光HP和RP，没有兴致长篇大论介

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

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

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

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

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

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

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

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

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

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

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

看来用XSLT解数独已经没有挑战性了， 因为XSLT是披着XML外衣的函数编程语言。所以闲人中的闲人们用新时代的汇编--SQL，来解决数独问题。当然不是SQL 92了，而是用了Oracle10g里介绍的MODEL语句。这么看来，邹键老大用SQL解简单算法题也不算离谱。:-DOracle的MODEL语句允许我们创建多维数组，并通过设定规则来处理数组，得到新的结果。规则本身可以递归。计算后数组本身

就是把习题当成项目来做。十年寒窗。半世煎熬。习题做完，世界随之改变。例子：A = B这本200来页的书（免费下载。作者是好心银啊），解决了《编程的艺术》上一道难度系数为50的习题：自动化多维几何级数的求和。如果有封闭解，则自动找到该解。不然自动证明无解。这好比20年前Wolfman的Mathematica搞定自动积分，号称机器不能积的，人肉也不用想。又好比优化编译器生成人肉编译器们望尘莫及的全局优

 想知道细节的，可以直接到wg21的网站上看论文。这里是零散的笔记。今天Bjarne Stroustrup到公司来做关于C++ 0x泛型编程的讲座。秉着不吃鸡蛋也可以看看母鸡的原则，我还是提前20分钟去前排占了个位子 —— 虽 说我们实验室除了编译器部门和数据库部门狂用C++外，主要还是Java作坊，我还是不能低估了这群老大赏鸡的好奇心。虽说有了心理准备，大家热情之高还是吓了俺一跳：讲座开始前

好像最近C++标准地下工会在公司附近开会，所以我们上班时偶尔可以看到工会成员矫健的身影。我们也近水楼台，得以听到关于C++0x进展的一些科普报告。上次Bjarne Stroustrup做了关于泛型编程的讲座后，Symantec实验室的Michael Spertus也做了一个关于C++ 0x里垃圾收集的讲座。Michael Spertus当年写出了IBM PC上最早的C编译器，也是C++ 0x里垃圾

 从Reddit看到的。BBC报道Alberta大学的一个研究小组号称解决了双陆棋（跳棋）（checker, 又叫draught），他们的程序可以保证每盘棋是胜局或者平局。值得注意的是，这个研究小组用的方法相当“粗暴”：计算机集群遍历所有的可能对局（一局棋大概有1020种可能性）后，存下对局过程备查。程序在实际对局时，根据局面选择最佳步骤，并且预测并证明可能的结局。有兴趣的老大可以到这里实时体