- 博客(5)
- 收藏
- 关注
RSS订阅原创 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
2898
3
原创 谁来验证验证程序？
这大概是初学自动验证（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关注的人