Systems software technology and business
John Regehr’s question below gets to one of the basic problems I see in the field of “formal methods” - the general failure of researchers in the field to look at experimental data and the operation of actual systems.  The normal operation of science in, say physics or biology or even analysis of algorithms, involves interplay between [...]
Draft is available http://www.yodaiken.com/papers/rec.html
We’re in process of moving to Austin Texas where the humidity should help ripen new ideas.
[Note: This is the first in a series of "chapters". I'll be revising as I see errors and in response to comments. As usual, this material is copyright Victor Yodaiken and rights are given to make, but not sell, verbatim copies only (in addition to fair use rights) ]
Update 1: Evening June 6.
Update 2: Morning [...]