jg's Ramblings | Jim Gettys' ramblings on random topics, and occasional rants.