负暄琐话

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

ACL注释

Paul Graham的《标准Common Lisp》的注释。Paul 的 Ansi Common Lisp大大有名,所以就得了个诨名,ACL。好比TAOCP, 或者SICP。对了,这里有ACP的中文试读。Chapter 1, Chinese TranslationChapter 2, Chine...

2005-09-25 00:11:00

阅读数 1908

评论数 0

高德纳(Don Knuth) vs. W3C

http://lists.w3.org/Archives/Public/www-validator/2005Sep/0052.html 偶像真忙啊:To change all these pages will cost me a week’s time. I don’t want to delay...

2005-09-19 02:11:00

阅读数 2969

评论数 1

多线程不能在库里实现

从这里看来的(需要ACM数字图书馆的帐户),论文名字是Threads Cannot Be Implemented In A Library. Hans-J. Boehm在文中论证了在库里实现多线程支持总不能避免程序出错。有意思的是LtU上的一条评论说,很多人看了这个论文很生气,因为他们认为PThr...

2005-09-17 01:42:00

阅读数 3179

评论数 0

强烈推荐:给计算机系学生的建议

在中文blog上推荐的英文文章从来回应寥寥,所以有时只好遗憾地看着别人的雄文在英语社区流行,比如说www.joelonsoftware.com上的精妙杂文。还好,网上总有热情洋溢的自愿者。这不,Joel的一篇精妙文章被翻译成中文了。强烈推荐一把:http://chinese.joelonsoftw...

2005-09-16 00:39:00

阅读数 22326

评论数 11

Google推出了blog搜索

http://www.google.com/blogsearch Yummy...

2005-09-15 07:39:00

阅读数 1825

评论数 3

莱布尼兹的宏伟计划

刚才在一本关于系统验证的书里读到关于自动验证(比如在不运行一个程序的情况下验证这个程序不会进入死锁)理论的历史。书里说自动验证的鼻祖是莱布尼兹。他设想了一种语言叫lingua characteristica, 并设想了一种机器叫caculus ratiocinator,可以运行这种语言,推出各种各...

2005-09-12 14:08:00

阅读数 3020

评论数 1

形式化和理解原理

Parsing Technique第24页:“严格证明离不开形式化,但理解原理却不需要它”。的确如此。刚开始学习形式化方法的时候,老陷入繁琐的推导,而忽略了理解公式定理背后的直观意义。现在想来觉得好笑:定义定理简单的时候都不忘追寻对原理对直观意义的理解;定义定理复杂了,反而忘记了本质的东西。---...

2005-09-10 06:08:00

阅读数 2622

评论数 1

JExample.com

via Keith. 看来是不错的资源: We analyze the source code of production Java open source projects such as Ant, Tomcat and Batik and load that analysis into a j...

2005-09-05 21:44:00

阅读数 1968

评论数 0

Web Application的功能测试自动化工具

我理想中的功能测试化工具应该满足以下基本条件:简单。测试本来就够复杂了。测试人员本来就该把精力集中在发现系统错误上面。再让测试人员在测试程序上花费大力气,实在得不偿失。所谓简单,关键在于和浏览器用户的操作同轨。程序代码应该完全屏蔽和用户无关的细节。比如说,如果网页上有个叫“递交”的按钮,那对应点击...

2005-09-05 02:31:00

阅读数 2778

评论数 2

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