2005年03月
从Keith看来的。借用Sidney Sheldon在《假若明天来临》里的话说，就是"Customers, you are going to be roally fucked by AOL"。 长话短说，AOL的服务条款加了一条，说明用户自动放弃对AIM上发布的内容的隐私权。AOL有权利用各种方式使用那些内容。原文是：by posting Content on an AIM Product, you grant AOL, its parent, affiliates, subsidiaries, assigns, agents and licensees the irrevocable, perpetual, worldwide right to reproduce, display, perform, distribute, adapt and promote this Content in any medium. You waive any right to privacy.'" （来自slashdot) 。当初就觉得AOL的东西不论从设计到客户服务（如果你用过他们的免费CD，就阅读全文>
发表于 @ 2005年03月13日 00:41:00|评论(loading...)|编辑
从Slashdot看到的链接。我觉得最酷的地方是Netscape8.0同时支持IE的渲染引擎(MSHTML)和FireFox的渲染引擎(Grecko)，而在两个引擎间切换时，保证了界面没有什么改变。阅读全文>
发表于 @ 2005年03月08日 00:46:00|评论(loading...)|编辑
从华盛顿大学一个物理学教授Johnathon Katz那里读到的文章：Don't Become a Scientist．一些物理学家和化学家也提到了这篇文章，比如这里， 和这里。Katz的文章直白而不留余地，但确实道出了我们必须面对的现状。其实中国也面临类似情况：理科人才供大于求，导致大学教职的竞争残酷。一个让人悲伤的事实是：大学教授（终身的那种）的确收入不错，一年还有4个月假期，但如果一个人以同样的资质，同样的勤奋，在另一个领域（比如说编程）奋斗10年，也能得到相当的待遇，而且面临的竞争和风险还相对小些。
不由想起我以前得到很好的机会，本科读到一半就转行了（当时其实没有意识到自己不论资质还是勤奋，都不足以让自己在研究类的工作里安身立命，更不用说有所建树了。。我当时转行的原因不过是发现自己坐在电脑前的时间远远超过了坐在课本前的时间。而且我没有耐性。看到本科花大力气学的东西，不过是为研究生阶段的学习做准备，就沮丧得不行。相比之下，搞计算机就舒服多了。每学一点东西，都可以马上试验，把玩，投入实用。）。现在想来，我也算幸运。
阅读全文>
发表于 @ 2005年03月07日 01:39:00|评论(loading...)|编辑
来自Stefan Tilkov的blog. 最近看到不少文章谈论JavaScript的强大功能，不知道和最近一系列基于JavaScript的网络应用提供了强大的用户界面有关。比如google的新服务，CanyonBridge的cbconnect，和salesforce.com，影响很大有关。Simon Wison提到应用JavaScript的eval()和with可以实现很多炫目的功能。其实还得加上一个：function在JavaScript完全是“一等公民”，closure也可以方便地在JavaScript里被应用。所谓一等公民，是说（从SICP来的）：
可以被变量指代
可以被当成参量传入函数
可以作为函数的返回值被函数返回
可以被包含在数据结构中
Simon Wison提到的Trimquery，和我以前一门课的作业很像啊。我们当时用LISP对内存里的数据结构实现类似的查询语句，包括join, projection, 和selection。
阅读全文>
发表于 @ 2005年03月06日 12:19:00|评论(loading...)|编辑
文章在这里。作者对HP失去了创新的文化痛心疾首。我读了也颇为感伤。多少曾经优秀的公司因为短期利润（尤其是公司高层的收入）和持股人的压力而涸泽而渔，最后消声匿迹啊。
作者把Carly Fiorina和匈牙利一个养猪出生的工厂主管比较。再结合这篇文章。一个CEO被自己的员工讨厌到这个地步，也算失败了吧。不过Carly Fiorina拿了两千万的离职费，据说又要到世界银行去工作了。 美国好像有奖励失败的传统，只要这个失败规模够大。就象slashdot上相关讨论上说的一样，看看Carly, Bush，CIA， Ramsfield，就知道这个传统了。 还有一个有趣的8卦：一般大家都认为Carly Fiorina下台的原因是缺乏远见（没有创建，只致力于削减公司运营成本和与Compaq合并）。但这次HP董事会逼她下台的原因却是她执行不力。
文章提到一些有趣的历史。比如Bill Packard提醒员工大胆创新的重要性：Bill Hewlett used to remind us that The marketing guys said the HP-35 would be a failur阅读全文>
发表于 @ 2005年03月06日 08:10:00|评论(loading...)|编辑
做IT的对RSI(repetitive strain injury)都不陌生吧？WorkRave是一款在windows和linux上都能运行的小工具，帮助我们定期休息，避免RSI. 健康之道有如常用算法分析：要分摊(amortize)工作量。阅读全文>
发表于 @ 2005年03月04日 03:38:00|评论(loading...)|编辑
这两天公司的项目告一段落，学校的作业不算太难。因此我颇有点闲暇，于是重看SICP，同时学学JavaScript(看了google suggest, google map, 还有CannyonBridge的cbconnect, 对JavaScript的兴趣一下浓厚起来）。 Douglas Crockford 说得不错，JavaScript的确和Scheme有很多相似之处。JavaScript的作者一定谙熟函数编程，不然JavaScript的函数是lambda算子也太过巧合了。比如SICP1.1里计算平方根的Newton-Raphson算法：
(define (sqrt x)
(define (good-enough? guess)
(< (abs (- (square guess) x)) 0.001))
(define (improve guess)
(average guess (/ x guess)))
(define (sqrt-iter guess)
(if (good-enough? guess)
gu阅读全文>
发表于 @ 2005年03月02日 14:03:00|评论(loading...)|编辑
链接在这里
还是不太明白为什么大脸猫说Imperative语言违背了图灵机的计算模型。
冯.诺依曼的模型并不是计算模型吧？它只是计算模型的一种具体实现而已，而且这个模型恰恰有效率地实现了图灵机的计算模型。简单对比一下，两者都依赖于状态的改变。我记得图灵机不就是用读写头去改变带子上的状态么？而带子上的状态也可以指示读写头到底怎么操作。这个和冯的模型完全一致吧：存储单元里的数据既可以是纯的数据，也可以是指示机器操作的命令。只不过一台冯。诺依曼机器有两条带子，一条读写数据，一条模拟操作。不过我们在本科学了图灵机后第一作业不就是证明两条带子的图灵机和一条带子的图灵机完全等价么？ 其实看我们证明不同类型图灵机等价问题时用的方法，基本就是模拟。也就是说，带子上的数据配合读写头的移动模拟了某个计算。这也是纯粹的状态改变嘛。机器里的存储单元恰恰模拟了图灵机里的带子。看不出有什么公理系统在背后呢？所以把冯的理论和图灵的理论对立起来说不过去。而且图灵机模型里面哪里提到了完全依赖公理，不分数据和操作的（不是质问，而是请教哈。）？能不能提供一篇论文以做佐证啊？再说到语言层面，imperative的语言阅读全文>
发表于 @ 2005年03月01日 03:34:00|评论(loading...)|编辑