Monthly Archives: February 2010

An interesting article in ACM communications: is the world ending?

Posted on February 7, 2010 by admin

Coverity has a program that reads other programs looking for errors. The company started as a research project from Stanford (how unusual!)  and the  Communications article is really about what they found in commercial world. One thing they found was … Continue reading →

Posted in marketing, software business, software engineering | Leave a comment

Toyota’s problem: hardware weenies and poor accounting practices [updated]

Posted on February 6, 2010 by admin

Jamie Kitman’s look at the twisted path Toyota followed to it’s current difficulties inspired me to think about software and money – two topics I spend way too much time thinking about. As a purely disinterested observer (ahem) it has … Continue reading →

Posted in embedded systems, software business, software engineering | Tagged , , , | Leave a comment

Recursion and state update and Hungarian Mathematicians

Posted on February 4, 2010 by admin

Please see this ever modifying page which seeks to demonstrate in a poorly organized, yet humorous manner, what the hell I’m trying to accomplish with this primitive recursive state machine stuff. And as an added bonus – the great “Recursive … Continue reading →

Posted in academics, theoretical computer science | Tagged , , , | 1 Comment