← Back to context

Comment by blazeraven

3 days ago

Unfamiliar with podcast file formats, but how does it differ from typical audio (mp3, wav, etc.) players?

A podcast is basically a list of files which are the episodes (together with episode metadata), so this would presumably fetch those and notify you when there's new ones / download them, and maybe keep track of how far along you're in each episode and provide playback speed controls.