负暄琐话

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

世道不好啊

最近红杉风投给旗下公司做了一个报告,告诉这些startup,做好10年萧条的准备。好日子结束了。Easy credit没有了。满世界找公司投资的limited partners消失了。IPO很难指望了。M&A也希望渺茫了。现在这世道,生存才是第一要义,positive cash flow才...

2008-10-12 13:17:00

阅读数 129701

评论数 2

爱情故事

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

2008-09-28 12:00:00

阅读数 128769

评论数 6

RIP: Randy Pausch

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

2008-07-26 00:21:00

阅读数 122193

评论数 2

程序员的效率

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的大大们放心,这篇文章一点都不反动。“人各有志,给分六十” 物理老师魏荣爵在学生谢邦敏富的试卷上赋诗一首:“卷虽白卷,词却好词。人各有志,给分六十。”天津南开中学名...

2008-03-08 00:50:00

阅读数 13166

评论数 6

八卦一下模型验证(一)

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

2008-03-03 11:00:00

阅读数 17972

评论数 9

今天是Knuth的70寿辰

好像太八卦了一点,不过这是Knuth ,我的终极偶像啊。就算他没有写注定留名青史的The Art of Computer Programming(是滴,俺有空还在读),就算他不是最早让人们认识到算法也可以定量严格分析(没有算法分析,哪里有现代计算机科学嗫?)的人,就算他没有发明和改进LR解析方法,...

2008-01-11 00:45:00

阅读数 28129

评论数 11

Netscape挂了

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

2007-12-31 13:23:00

阅读数 10432

评论数 3

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

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

2007-12-13 13:48:00

阅读数 15948

评论数 24

Pina Colada Song现实版

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

2007-09-20 02:21:00

阅读数 3475

评论数 1

Coders @ Work

PC时代初期犹如拓荒小说里的南非。拓荒者们没有精巧的工具,没有丰厚的财力,没有经验,甚至没有足够的食物。一人一镐一簸箕,和百折不挠的狂热而已。然而风云际会,不定一镐下去,就是非洲之星。二、三十年前的黑客们就是PC时代的拓荒者。技术原始,无损他们奔放的想象力。工具粗陋,却激起他们征服的雄心。那时没有...

2007-09-06 08:59:00

阅读数 8423

评论数 6

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

残酷的语言兴亡

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

2007-07-28 13:53:00

阅读数 7023

评论数 1

关于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

做习题的境界

就是把习题当成项目来做。十年寒窗。半世煎熬。习题做完,世界随之改变。例子:A = B这本200来页的书(免费下载。作者是好心银啊),解决了《编程的艺术》上一道难度系数为50的习题:自动化多维几何级数的求和。如果有封闭解,则自动找到该解。不然自动证明无解。这好比20年前Wolfman的Mathema...

2007-07-14 00:52:00

阅读数 12283

评论数 3

曹三的《流血的仕途》出书了

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

2007-07-07 02:52:00

阅读数 4947

评论数 0

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