Friday, April 15, 2011
In case anyone wonders, I have been working flat out to get my autobiography edited and posted on box.net. I am now into volume three, and moving fast. After that I will tackle the book-length tutorial on Formal Methods that I wrote as I was also writing my autobiography. Then I can go back to outraging all of you by indicating why I am pleased with the direction Obama has taken.