William Cook's Fusings

I can't stand it any more. Why does is it so difficult to install experimental software???? Granted, a lot of the stuff I want to try ou...

I will not say anything too negative about Emacs here. I suspect my peers might think badly of me simply because I don't use Emacs. But ...

I'm learning ACL2: after spending a day understanding what most people feel when they try to program a computer (why the *#@* doesn'...

Last August I decided to sign up for Vonage, to try it out. I made a few calls and it seemed to work. So I requested that my home number be ...

I've noticed that all my posts so far have been tips, tricks and annoyances. There are several reasons for this: 1) I have a backlog of ...

I had a disk completely die, and my backups are not as good as they should have been. Fortunately, the data recovery people know their job. ...

Do you have trouble with your signature having the wrong format in Outlook? Mine had the "paragraph" style instead of "normal...

I recently wanted to get some data to select program committee members for a conference. I decided to estimate which authors had the most im...

Here is an older paper that is a real gem: Reducing cross domain call overhead using batched futures Phillip Bogle and Barbara Liskov OOPSLA...

Have you ever noticed that online maps don't usually point to the right house/business on a street? I was looking at one today and notic...