负暄琐话

我的email: rot47('649@ 6(hF+`hd"w=92vhG{>}G3"@l M >:&a...

电话面试经历

出来混,迟早要还。也有了人生第一次电话面试。没有签NDA,所以在这里分享一下。但愿对各位大佬有帮助。职位是架构。要求是对Java和J2EE熟,能编程,熟悉OO设计。有架构经验,等等等等,都是大路货,没什么出奇的。再说出奇的我也不行啊。 总的感受:用自己的话总结对方的话挺有用。表明了你在积极思考,理...

2008-07-20 00:23:00

阅读数 159615

评论数 48

祥林嫂精神恍惚痛苦呼唤之关于Suffix Tree

CSDN的大大们啊,行行好啊。修复这坨不能自动上传图片的错误啊。好像已经三个月了啊。图多的时候发文章真地很痛苦啊。Orz Orz Orz在pongba的讨论组上看到一道Amazon的面试题:找出给定字符串里的最长回文。例子:输入XMADAMYX。则输出MADAM。这道题的流行解法是用后缀树(Suf...

2008-06-21 19:02:00

阅读数 156191

评论数 15

八卦一下模型验证(三)

 CSDN的大大们啊,求求你们了啊。修复这坨不能自动上传图片的错误啊。好像已经三个月了啊。图多的时候发文章真地很痛苦啊。Orz Orz Orz准备八卦Edmund等人算法时才想起,人1986年成名作是讨论用CTL (Computational Tree Logic) 作规范语言的模型验证算法,而第...

2008-06-14 15:58:00

阅读数 125730

评论数 8

程序员的效率

Steve McConnell的博客帖子。详述了程序员产率相差10倍的来历。插草标 卖身推荐。引用一段:80年代中期,波音上了一坨重要项目。80枚程序员参与其中。项目不顺利,眼看要错过一坨不容错过的最后期限。为了保证该项目成功,波音调走了这80枚老大,请来一个人。于是这枚老大以一人之力,按时按量交...

2008-03-28 21:42:00

阅读数 28578

评论数 2

采访Joe Armstrong的podcast

早上上班,听Software Engineering Radio对Joe Armstrong的访谈。Software Engineering Radio办得真不错。请来业界风云人物娱乐大众。访谈前主持人做了功课,提的问题颇为有趣,引得被采访着侃侃而谈。上期对Galen Hunt的访谈也挺精彩,把S...

2008-03-21 02:03:00

阅读数 22292

评论数 6

八卦一下模型检验(二)

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

2008-03-18 10:34:00

阅读数 16184

评论数 13

八卦一下模型验证(一)

先穿渔网袜从珠穆朗玛峰上滚下来哭求CSDN的大大们看一下CSDN博客插件不能自动上传图片和排版的问题。人肉上传图片和排版真地很痛苦呐! 2007图灵奖和模型检验不知道长达半年的疯狂加班是否损害了自己的心理健康。回顾过去几个月,似乎除了工作嘛都没干。人仿佛颓了,觉得时光了无意义地飞逝,过去半年的泰半...

2008-03-03 11:00:00

阅读数 17973

评论数 9

JavaScript这浓眉大眼的也背叛革命了(一)

更新:忘记加入对generic function的概述了。刚才补上。另外chenxiaoshun老大提了个很好的问题:generic function和function overloading有什么区别?区别就是,调用哪个generic function是在运行时决定的,同调用虚函数实现多态一致。...

2007-12-13 13:48:00

阅读数 15948

评论数 24

谁说内存管理不重要来着?

   前俩儿Java进程是咱内旮旯的IDE和测试服务器。IE上就一页面儿,运行咱的WEB应用。FireFox上就Google Reader,供开小差用。照这玩儿法,多少内存也得玩儿残了。 

2007-12-11 04:21:00

阅读数 5522

评论数 2

吃了大力丸的Ruby:unfold的实现

最近奇忙。从早到晚工作。别说写博客,连读博客都 没有时间。虽然一直想八卦一下JavaScript那浓眉大眼的也背叛革命了这件大事,却抽不出空。不过看到这么精彩的代码,还是忍不住转载。起因是这样的:大家都熟悉fold函数,也就是Ruby里常用的inject()函数:给出起始值,把某个Collecti...

2007-11-08 14:52:00

阅读数 3774

评论数 7

编程范式的示意图

 从LtU上看到的。这张图根据CTM的思路,勾画了不同编程范式的特性和联系。方框代表某种编程范式。箭头边的黑体字表示箭头上方编程范式的代表性语言。以“+”为前缀的斜体小字是一种编程范式过渡到另一种编程范式需要的语言特性。CTM从阳春版的核心语言(kernel language)开始,逐步解释语言不...

2007-08-20 23:10:00

阅读数 7499

评论数 3

Lisp for Small Prices

 通过programming reddit,从这里看到的。Amazon.ca果然发飙了,软皮本才3.95加元。对比一下amazon.com上同样的书,50美元。怪不得冲到amazon.ca排行榜的第二。顺便扫了一眼排行榜,看到那本龌龊的The Secret居然排名第7,和amazon.com上一样...

2007-08-09 07:55:00

阅读数 7201

评论数 5

Design Patterns

  Apache XML-RPC。石化中。。。  

2007-08-02 00:55:00

阅读数 4950

评论数 5

残酷的语言兴亡

今年OSCON的幻灯片出来了。个别讲座还有录像。可以到这里下载。 正在看Simon Peyton Jones关于Haskell的讲座幻灯片。开头四张编程语言生命周期的曲线很有意思。血淋淋的啊。大部分研究型语言三年内夭折,用户不超过50人。大部分成功的研究型语言8年内寿终正寝,用户不超过100人。1...

2007-07-28 13:53:00

阅读数 7023

评论数 1

Orz oz

 为了读Concepts, Techniques, and Models of Computer Programming这本书,去下了Mozart,一个支持编程语言Oz的开发系统。照这书里的指点,运行Oz.exe,居然看到Emacs窗口弹出来。瀑布汗。。。这就是Mozart编程界面啊。怪不得只要8...

2007-07-28 07:17:00

阅读数 4770

评论数 6

那就推荐一本消遣书吧

上学最宝贵的收获之一是结交学识过人的朋友。自己闷头学得山穷水尽时,高手轻轻一句点拨,眼前便峰回路转,柳暗花明。每次上完课,有幸和朋友小聚,请教弱智问题,听朋友妙语解惑,实在是难得的人生乐事。读The Little Schemer,也有同样的感受。读The Little Schemer的过程,就是被...

2007-07-27 15:01:00

阅读数 17365

评论数 8

关于C++ 0x 里垃圾收集器的讲座

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

2007-07-23 11:56:00

阅读数 12326

评论数 9

跳棋被搞定了

 从Reddit看到的。BBC报道Alberta大学的一个研究小组号称解决了双陆棋(跳棋)(checker, 又叫draught),他们的程序可以保证每盘棋是胜局或者平局。值得注意的是,这个研究小组用的方法相当“粗暴”:计算机集群遍历所有的可能对局(一局棋大概有1020种可能性)后,存下对局过程备...

2007-07-20 05:58:00

阅读数 6272

评论数 8

Bjarne Stroustrup关于C++的讲座

 想知道细节的,可以直接到wg21的网站上看论文。这里是零散的笔记。今天Bjarne Stroustrup到公司来做关于C++ 0x泛型编程的讲座。秉着不吃鸡蛋也可以看看母鸡的原则,我还是提前20分钟去前排占了个位子 —— 虽 说我们实验室除了编译器部门和数据库部门狂用C++外,主要还是Java作...

2007-07-17 13:28:00

阅读数 11171

评论数 6

与Scheme共舞

 发表在《程序员》2007年7月刊上。不log上写帖子不用考虑版面限制,所以这里的帖子比发表的啰嗦点。赵健平编辑,Jacky,和刘未鹏都给了我很多帮助,在这里一并谢了。免费的Scheme实现很多。我用的是PLT Scheme,可以到这里下载。PLT Scheme的IDE(Dr. Scheme)支持...

2007-07-03 13:49:00

阅读数 47200

评论数 20

提示
确定要删除当前文章?
取消 删除
关闭
关闭