负暄琐话

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

FireFox1.5正式版出来了

让人兴奋的改动有4条:1. SVG2. Canvas3. CSS3 columns4. JavaScript 1.6有了1和2,在浏览器上就可以做出比较复杂的2d/3d图形了。有了3,页面排版就变得更加简单了。JavaScript1.6的改动好像不大。主要有了E4X,可以把XML作为内置数据对象。...

2005-11-30 12:58:00

阅读数 1881

评论数 0

Jonh Vlissides过世了

Design Patterns 的作者之一。周四因脑癌过世。当真是英年早逝。这里是他的主页。 这里是他的wiki。他的书给了我很深的影响。先是Design Patterns, 然后是Pattern Hatching, 然后是Pattern Languages of Program Design 2...

2005-11-28 13:31:00

阅读数 2698

评论数 3

JavaScript写的Unix

牛!http://www.masswerk.at/jsuix/

2005-11-20 06:40:00

阅读数 2601

评论数 1

谁来验证验证程序?

这大概是初学自动验证(Automated Verification)者常问的问题吧? SMV也好,SPIN也好,写出来的代码并不清楚直白,一个简单的多路电梯就够人写上几天(不然也不至于有LTL Patterns一类的东西了)。我们怎么才轻松地知道自己写的验证程序本身没有错误呢?我只知道有人在Vac...

2005-11-06 11:44:00

阅读数 1999

评论数 3

LISP编程风格指南

从LtU看来的:Peter Norvig的优秀作品之一。Teach Yourself Programming In Ten Years也是Peter Norvig的大作。

2005-11-05 12:02:00

阅读数 2548

评论数 0

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