No more bookmarks

I used to have my bookmarks here. I started this list of links sometime in 1995 or so, when Internet search engines were still in their pioneering stage. Nowadays (2002) I find myself using

Google

and other search engines almost exclusively, instead of my own bookmarks. Moreover, I haven't kept them up to date for a long time, so there must be a lot of dead links by now. I takes me too much time to check them all.

For these reasons, I decided to stop supporting the bookmarks. I you really think they are still useful you may try to persuade me, but I may not be easy to convince.