I'm creating an application that will stream audio to a Raspberry Pi from a server on the local network using a Python script. I'd like to play the files with pygame (preferrably) but not store them locally. The files will be accessible through a REST API. Is it possible to use pygame.mixer.music or something similar? From the docs on pygame.mixer.music:
The difference between the music playback and regular Sound playback is that the music is streamed, and never actually loaded all at once.
Much like this issue, but with pygame.