Nerd stuff. You have been warned.

Reading Baumgartner's proof of Hindman's theorem by way of [GRS]. I knew the ultrafilter proof (here) but Baumgartner's proof is entirely combinatorial. It is less slick but more clever, I think.

Check out MusicBrainz to organize all your MP3's and label them correctly. I have spent hours trying to do what this program automates.

Be very afraid. Wal-Mart knows everything about you.