I'm talking about ones encoded in the format in which the twitter API returns its dates, like...

`"Tue Jan 12 21:33:28 +0000 2010"`

The best thing I thought of was to try to slice it up with regexes to become something more like...

`20100112213328`,

but there's *got* to be a better way.