Jacob Moorman contacted me after my last post about difficulties with SourceForge. The problems I have are being worked on, as detailed on this page. It appears that the problems will be resolved within a short enough time frame that switching to another CVS would cause more pain than it would alleviate (but not by a large margin). brondsem links to several other project hosting facilities.
Spam Stopping
I was talking with clausen and we came up with some interesting ideas for spam stopping.
Rubik's UFO
I came up with a nice solution to Rubik's UFO.
Busy Beaver Numbers
There's some very interesting recent work on busy beaver numbers. Computing bb(5) may be possible.