Saving audio files using an external mic in the computer

If you're using a computer, what's wrong with using your soundcard?

The "regular" Arduino is not powerful enough to compress to MP3 in real time. And, the ADC is only 10-bits and you loose more resolution at high sample rates.