George Gilder had an article in Wired on data centers as clouds. My instinct is to dismiss anything Gilder writes because of his track record
Read morelinux kernel
From LinuxDevices Every Linux kernel is being developed by nearly 1,000 developers, working for more than 100 corporations. An average of 3,621 lines of code
Read moreSorcerers apprentice at ATT: Security and privacy and reliability collide again
AT&T considers reading all the packets that cross its lines. Quite an interesting proposal. Tim Wu’s take The prospect of AT&T, already accused of spying
Read morewhat do we got to verify in an os?
From comments below. Just one more comment: I think we should make a distinction between a tool that can verify threaded code and a tool
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 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 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 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 moreOpenBSD developer notes king’s clothing is “virtual”
Theo de Raadt explains why virtualization does not improve security. How about this: to improve security, you have to have a secure design, a marketing
Read more