We start the new year with a brand new design and link structure. If you have any trouble with access to pages or with RSS
Read moreHappy new year and validation
Updated below! Years ago I proposed the following code snippet as a minimal standard for a useful verification method. Still not quite there. /* you
Read moreimitation hemingway winner repost
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
Read moreCell phone handsets and linux and software value
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
Read moreformal methods considered harmful and more on soft real-time
[fixed a couple of typos, Dec. 20 2007] John Regehr writes: On the other hand, there is plenty of useful work to be done on
Read moreAre programmers smarter than Hollywood writers after all?
Don Marti in comments below notes Reruns of “I Love Lucy” and “Knight Rider” don’t stop working when the studio fails to bring in writers
Read moreSoft real-time and QOS (revised)
[ revised version of an older post] “Soft real-time” is a perfect example of the “soft design” noted in an earlier post. There are perfectly
Read moreFree digital content and the daily show
Video about “free digital content”. [youtube http://www.youtube.com/watch?v=PzRHlpEmr0w&rel=0&color1=0xd6d6d6&color2=0xf0f0f0&border=1]
Read moreHollywood writers are smarter than programmers
The strike in Hollywood is about royalties. The writers, who are used to getting a share of the royalties on their work, want to keep
Read moreSparc T2 (niagra 2)
UT architecture seminar today was by Greg Grohoski from Sun – an updated version of his Hot Chips talk. I’m not a big fan of
Read more