I retired on July 1, 2025. My new web page, containing much of what used to be here, is now on GitHub. You shoul be redirected there automatically.
If you aren't redirected, please click here to visit the new site.
Please update your bookmarks!