2004年10月
Rob Pike对面向对象方法的评论 。 其实也没有什么新意，无非说没有让人一劳永逸的东西，一个鞋子不能穿在所有人的脚上云云。不过真理往往隐藏在老生常谈里面，所以也不妨看看他的评论。看得出Rob Pike仍然是老牌Unix hacker，对使用多种工具协同工作，每个工具尽量漂亮地解决一个问题的哲学深信不疑：“It's that last point - different languages for different subproblems - that sometimes seems lost to the OO crowd," Pike said. "In a typical working day I probably use a half dozen languages - C, C++, Java, Python, Awk, Shell - and many more little languages you don't usually even think of as languages - regular expressions, Makefiles, shell wi阅读全文>
发表于 @ 2004年10月26日 02:08:00|评论(loading...)|编辑
Springer的Automata, Logics, and Infinite Games 好像错误不少啊。看了前7章了，几乎没章都有错误。有些例子都给错了。一些定理的证明也有笔误。这和Springer一贯标榜的高质量有所不符的说。 里面的练习题挺有意思的，能帮助理解书里的概念。可惜没人和我讨论。阅读全文>
发表于 @ 2004年10月24日 07:45:00|评论(loading...)|编辑
Windley的一篇短文：Academic Research and CS Innovation 。于我心有戚戚焉 。想当年Software Practice & Expereience 上雄文无数，但近来好像也没有什么大作，价格还高得吓人。偶们公司的图书馆也没有订它了，连存档都只到1997年。
我总觉得，CS是一门相当务实的学科。它不象数学，追求的是纯粹的抽象；也不象物理，追求的是穷尽这个世界的本质原理。CS本来就为解决问题而生。革新才是CS的生存之本。理论也是在解决问题的过程中渐渐积累而成。当然，不可否认不少CS理论有它自己独立的价值，比如复杂性和可计算性，但这些东西毕竟不是CS的全部。当年的CS理论高手们在实践方面也不落人后。比如Knuth的Tex，Wirth的Pascal，Dijkstra的Algo60，McCarthy的LISP，Iverson的APL, Codd的System R，等等。可以看到，系统革新往往带来理论的高歌猛进。可现在好像搞颠倒了。大学里做CS的人写的东西越来越高深，看的人却越来越少。搞软件工程的人好像不在自己的文章里弄点数学(用Windley的话说，阅读全文>
发表于 @ 2004年10月24日 07:39:00|评论(loading...)|编辑
今天在WSAD上导入一个不到两兆的小文件，系统内存消耗居然一下从1G冲到1.6个G。传说中的disk thrashing就开始乐，害得本来只用30秒的简单导入+验证花了10多分种。导入结束后，系统消耗仍然在1.6G以上。不知为什么，WSAD占用的内存总是稳步增加，所以我不到一周就要重起一次WSAD甚至机器。 该不是SWT什么地方没做好吧？阅读全文>
发表于 @ 2004年10月24日 06:00:00|评论(loading...)|编辑