Monthly Archives: November 2006

Adding value to Windows

Posted on November 30, 2006 by yodaiken

Andy Bechtolscheim says: It’s really hard to add value to Windows. Whatever you add, Microsoft is going to take away from you. Linux has opportunities. There are many ways to add value. There are lots of things Sun customers expect … Continue reading →

Posted in operating systems, software business | Leave a comment

Plagiarism watch

Posted on November 26, 2006 by yodaiken

Thanks to google code watch I see that an open source real-time Linux project has reached new heights of originality – changing the magic number that they copied from RTLinux 10 years ago to a new number. The constant definition … Continue reading →

Posted in embedded systems, real-time, rtlinux, software business | Leave a comment

Formal methods and verification

Posted on November 18, 2006 by yodaiken

One of my correspondents has said my comments on formal method (here and here) were too terse. There are a couple of things that annoy me about formal methods, but the lack of results is the foremost annoyance. After multiple … Continue reading →

Posted in software engineering | Leave a comment