This used to be my home page, although it had been quite a while since I did anything noteworthy with it. Now I'm experimenting with a tool called wikidot, so you can find my new home page here.