Monthly Archives: December 2007

Happy new year and validation

Posted on December 28, 2007 by yodaiken

Updated below! Years ago I proposed the following code snippet as a minimal standard for a useful verification method. Still not quite there. /* you are not expected to understand this */ if(save()){ load_memory_management(); /* map in new current */ … Continue reading →

Posted in architecture, operating systems, real-time, security+fault-tolerance, software security | 3 Comments

imitation hemingway winner repost

Posted on December 20, 2007 by yodaiken

I found this on Larry McVoy’s site, and repost it every now and then because it is so good. But I’d like to read a Cormac McCarthy version too.

Posted in software engineering | Leave a comment

Cell phone handsets and linux and software value

Posted on December 20, 2007 by yodaiken

Update at the end. Two FSMLabs alumni are leading the charge for Linux handsets in two different companies. Jason Whitmire is now GM of cell phones for Wind River. Jason’s blog is here and a Linuxdevices article discusses his first … Continue reading →

Posted in communications, data center, handset, intellectual property, marketing, mobile, operating systems, software business, software engineering | 2 Comments