自定义博客皮肤VIP专享

*博客头图:

格式为PNG、JPG,宽度*高度大于1920*100像素,不超过2MB,主视觉建议放在右侧,请参照线上博客头图

请上传大于1920*100像素的图片!

博客底图:

图片格式为PNG、JPG,不超过1MB,可上下左右平铺至整个背景

栏目图:

图片格式为PNG、JPG,图片宽度*高度为300*38像素,不超过0.5MB

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+

负暄琐话

我的email: rot47('649@ 6(hF+`hd"w=92vhG{>}G3"@l M >:>6?4@56 /F')

  • 博客(5)
  • 收藏
  • 关注

原创 FireFox1.5正式版出来了

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

2005-11-30 12:58:00 2059

原创 Jonh Vlissides过世了

Design Patterns 的作者之一。周四因脑癌过世。当真是英年早逝。这里是他的主页。 这里是他的wiki。他的书给了我很深的影响。先是Design Patterns, 然后是Pattern Hatching, 然后是Pattern Languages of Program Design 2。每次阅读他的书,都有新的领悟。当初就是因为读了Design Patterns才理解了原来OO设计的要

2005-11-28 13:31:00 2895 3

原创 JavaScript写的Unix

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

2005-11-20 06:40:00 2750 1

原创 谁来验证验证程序?

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

2005-11-06 11:44:00 2186 3

原创 LISP编程风格指南

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

2005-11-05 12:02:00 2873

空空如也

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人

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