其实我是一个程序员
编程是一种乐趣

上个月有机会用了一下Telelogic 的Tau3.0，说一下感觉。 Telelogic Tau3.0是Telelogic的支持uml2.0的建模工具，同时提供了模型验证（Model Verifier），代码生成（code generator）。这是个欧洲公司，据说已经有14年的业内经验了。那个时候uml的版本还是负的2.0吧。 1．Uml建模 比较容易使用。 最重要的是，它对模型的要求比较严格。比如序列图中的对象或者消息，必须是已经定义的。否则会出错的。这样严格应该是为了代码生成和模型验证吧。 Tau3.0有一种特殊的图，叫做text图，一般来说是一个类的方法的实现。在text 图里面有一个action symbol，就是一个类似输入框...

NetBSD 日本bsd的一个邮件列表的投稿，虽然还不能上网，但是已经能启动了。 原文见这里 启动的图片见这里：

最近无聊转了一下电器店，突然想买个游戏机。考虑来考虑去，决定买ps3。 虽然觉得xbox360比较好。xbox便宜，两个版本各不到3万和4万，而60g的ps3要6万多。 http://www.amazon.co.jp/exec/obidos/ASIN/B000JJ9K3U/intermezzo-22/ 但是ps3能装linux。所以决定买ps3了。 看了网上的一些东西，总结了一些可用的linux。 1。Yellow Dog Linux v5.0 for PLAYSTATION3 (YDL) 美国的Terra soft开发的。公司网址http://www.terrasoftsolutions.com/tss_home.shtml 基于 Fedora Core5的，内核2.6.16。桌面系统为E17。附带了CELL处理器开发工具箱Cell SDK 1.1 带支持100美元，不带...

大概13%，今后六个月要裁掉4000-5000人。Sun在全球大概有37500员工。

以dot net的ML为基础，性能相当于C#，是一个集脚本，函数式，面向对象等于一身的语言。 它的主页在：http://research.microsoft.com/fsharp/fsharp.aspx

由于google经常被封，当google上不去了怎么办？可以试试这个： http://www.notii.com 就可以连到google上了。

那就请去CSDN。 最近发现，csdn的论坛和blog，总是有很多引起激烈争吵或者回复的帖子。 在工作之余，不失为一种休闲解乏的好方法。 不过为什么我们国家怎么这么爱吵架，人身攻击，骂的还挺露骨，我是不好意思说出这样的话，呵呵。 今天无意看到的： http://blog.csdn.net/gigix/archive/2006/03/17/626839.aspx