Here’s Edsger Dijkstra discussing the birth of the use of axiomatics in computer science – the start of “formal methods” research. What’s striking is the
Read moreOS design
Working on a “process algebra” post, I had to look up previous posts on microkernels where I wrote this: Information hiding is only good design
Read more
Robin Milner and Automata theory
I always had the impression that the entire group of “process algebra” people didn’t know much about automata, but this is surprising. But meanwhile I
Read moreRecursion and state
Despite some deep results, algebraic automata theory has fallen out of favor in theoretical computer science. Reasons include the disciplines failings such as a love
Read moreState machine functions and recursive composition
My graduate school research was motivated by a difficulty we have doing real creative engineering in operating systems that may seem ridiculous to people who
Read moreWind River sold to Intel: more reaction
And like Intel, I would argue that mobile software companies are instrumental in making silicon solutions pervasive, because they tick two major check boxes: reference
Read moreunnovation
This is a brilliant idea. Most innovation, well, isn’t: it is “unnovation,” or innovation that fails to create authentic, meaningful value. The biggest stumbling block
Read moreWind River purchased by Intel
If anything, Wind River’s inability to breakout, despite a once Microsoft-like position of dominance, is a by-product of their failure to meaningfully go “up the
Read moreDepartment of hell freezing over
I have also learned something about my country. I run a global company, but I am a citizen of the U.S. I believe that a
Read moreVirtualization versus Physicalization
Data on the overhead of virtualization is hard to come by. Rackable proposes an interesting alternative that they call physicalization. I wonder whether the CPU
Read more