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.