Monthly Archives: February 2008

Mondrian视频

  Google Tech Talks上的好东西很多。

  TopLanguage上有人推荐B.S.的C++0x Initialization Lists视频,本打算上来写点观后感的。可又被Python的东西吸引过去,最终还是强烈推荐Guido Van Rossum的这个讲座,这是他被Google挖去后负责的项目。

 

  此外还要推荐这段BayPIGgies: Developing A Product In Python

  BTW:一个冷笑话,“UC Berkeley的工程师管Stanford的工程师叫什么?”,正确的答案是:“老板”

列书单.2008.2.22

  这两个月书“啃”得很快,总吃不饱。最近心情闷,买的基本全是小说。列出书单:

  奥尔罕·帕慕克,《白色城堡》;丹尼尔·克尔曼,《测量世界》;弗朗索瓦兹·萨冈,《无心应战》;帕特里克·奥姆莱曼,《怒海争锋之极地征伐》;王强,《圈子圈套3》;苏童,《神女峰》;周汝昌,《周汝昌红楼演讲录》;刘心武,《刘心武揭密红楼梦(四)》;卡夫卡,《变形记:卡夫卡中短篇小说集》

  买到2002版《连城诀》收藏,它和《白马啸西风》是我最喜欢的金庸小说。有个细节,开头的《“金庸作品集”新序》写得好,推荐。大家都说《连城诀》、《肖申克的救赎》和《越狱》是同一个故事,其实它们都源于《基督山伯爵》。类似的例子很多,比如古龙的《流星·蝴蝶·剑》来源于《教父》。

  一直在跟进凤歌的《沧海》连载,这一期是大结局,今天跑去一问,杂志居然卖光了,晕。可能是从小被正统教育误导了,总是偷偷摸摸看武侠小说,前些天发现梁宁这样的成功人士也在一期一期跟《昆仑》《沧海》

返璞归真

  过去一年左右,听过的最有收获的技术讲座,就是阿北的云风的

  两人都是骨灰级程序员,阿北写过将近20年的程序,云风C++经验也超过15年;都是一线架构师,在相对自由的环境下,按照自己的思 路,架构一个完整的大系统。所以尽管他们开发的是不同产品,用的是不同技术,讲座内容听起来居然有某些相似:把握技术的方向感,设计上的返璞归真。

  其中不少一带而过的设计细节都会引发我的兴奋和一点遗憾:兴奋缘于共鸣,而遗憾则因为“如果早两年前能明白……”。不过反过来说,很多事只有躬身入局试过才能真正明白,否则就是听到了也会放过去。

  春节闲翻书,又读了一遍Conversation with I.M.PEI。 贝聿铭从名校毕业后,有十一年都专做贫民区改造项目。这阶段的工作在师友看来有些低档,但是他自己认为非常重要:因为他借此熟悉了社会是如何运作(这一类项目,大多和政府法令和补贴有关,所以必须学会跟着老板去和政府官员和媒体打交道),学会了在受限的条件下作出最合适的设计方案(书里举例说明当时如何想方设法,既能设计出完美的建筑,又能满足严格的成本限制)。通过这些磨练积累,才有了后来的卢浮宫金字塔、香港中银大厦、香山饭店和伊斯坦布尔博物馆。

  国内软件业正在发生变化。一大批工程师已经积累了“贫民区改造项目”的经验。一旦这些人得到环境的支持,拥有了独当一面自由发挥的机会,就能做出真正有趣有影响力的设计。接下来几年俺们等着瞧吧。

混合编程的前世今生

  老妈在玩Python语言,她说Python简洁严谨的风格很像Fortune,“不像C++那么乱哄哄”。从穿孔纸带开始,老太太算是各种技术都经历过一遍了。虽然比不上她老人家,俺用来赚过银子的编程语言,从本科大一兼职开始算,也有十种以上了。

  说起不同的编程语言,就掺乎到Language Wars,历来是吃力不讨好的大坑(Joel on software有一篇很经典)。最近几年的趋势是混合语言编程,用静态语言实现关键模块,用动态语言做胶水,必要的时进一步用DSL归纳特定领域的高效开发模式。

  Google一下,原来很早就有牛人预计到了这种趋势,看看John K. Ousterhout在10年前于IEEE Computer发表的这篇论文,不得不佩服他眼光很毒。其中关于gluing language和component frameworks的提法,如今已经成为业界的标准术语。

  最初的潮流推动者是微软,早期VB正是一种经典的胶水语言:从Web到Office,从ActiveX到DirctX,Win32系统 中几乎所有功能模块和技术特性,用VB都可以轻松整合。即使用今天的观点来衡量,VB6.0 / VC++6.0这一对仍然堪称黄金搭档,整套架构以COM技术为核心基础。只可惜.net技术推出后,VB突然莫名其妙地失去了定位,有一阵似乎希望变成 “另一种C#”,不断向系统级语言演化,反而让老用户无所适从。等明白过味儿来,.net 3.0不得不从头引入新的IronPython

程序员日快乐,哈哈

  云风在BLOG上说了一个冷笑话,好寒啊,果然deepcold

  说点严肃的。云风提到的ENIAC,《程序员》杂志上专门澄清过,它不是第一台电子计算机:美国法院对于计算机发明权的归属展开了多年法庭调查,在1973年作出最终宣判:第一台电子计算机是由依阿华州立大学的物理学家约翰·文森特·阿坦那索夫于1939年发明的ABC,而不是ENIAC,后者对ABC有明显的抄袭。ENIAC的发明人虽然因抢注专利获得了暴利,但此前由所谓“计算机之父”而得来的各种荣誉大多被陆续取消。

Tango Tina文档翻译完了

  Tina文档的翻译完成了初稿,Tango的网站管理员刚刚在文档类表wiki上添加了这篇BLOG的链接。当然这还只是粗坯,不少地方需要进一步修饰甚至推倒重来。

  尽量保证每晚都抽出一小段时间,先校对前一天的内容,再翻译下一段,蚂蚁搬家。不算太长的文档,总共用了两个月,比原计划久一些。到底是第一次,年底这段时间工作压力也比较大,又碰到骨折受伤出差私事影响情绪,效率和质量都不算完美。不管怎样,能坚持下来挺有成就感。

  人家问我是否继续翻译手册的其他各章。我打算先休息一段,至少等到骨折完全恢复再说。还会继续踅摸D语言,希望与有兴趣的朋友互相交流,大家也可以分工合作进行翻译。

  BTW1:石膏已经拆了,经过这几天,机能基本恢复了,不用担心变成周总理那样,偶尔还会疼,腰椎扭伤也需要休养。谢谢大家的关心。

  BTW2:好吧俺承认,胳膊的确是滑单板摔断的:南山今年开了一条很长很好玩的新雪道,也许是傍晚周围的景色比较容易分散精力,呵呵。估计老板也猜出来了,没点破。话说回来了,我也没误事,吊着石膏就去出差了,差点让大雪留在上海过年。

2007年图灵奖颁发给Edmund M. Clarke,Allen Emerson和Joseph Sifakis

  ACM官方网站上刚刚发布了如下消息

  ACM, the Association for Computing Machinery, has named Edmund M. Clarke, E. Allen Emerson, and Joseph Sifakis the winners of the 2007 A.M. Turing Award, widely considered the most prestigious award in computing, for their original and continuing research in a quality assurance process known as Model Checking

  关于Model Checking的背景知识可以参考wikipedia。另外CSDN有牛人推荐这篇介绍。还有g9老大的博客

Google Tech上关于Python 3000的讲座

  D语言新闻组里刚刚转载了Google Tech Talk中关于多线程的讲座,跑去搜索,又发现了不少其他内容。

  下面这是Guido van Rossum于06年初介绍传说中的Python 3000。过了一年半,前几天刚发布了alpha 2,估计final版发布得等到奥运会之后。

  就像上次说的,站队很重要,我的技术储备大多押宝到Google。看看Ubuntu、Firefox、Python、AJAX这些年的成长轨迹,就能知道Google在引领技术趋势方面的能量。这种对软件工程师的绝对影响力曾经只属于微软;而现在的微软,越来越像OS/2年代的IBM了(多久没关心软件业从XP向vista的迁移了?)。这并不意味着微软不行了,它仍然是最赚钱的蓝筹股,只不过,它不再是那个让人闻风丧胆所向披靡的怪物了。