this is a blog where jeff posts mostly amusing things.