The wav format is not super complicated, you could split every track into
15 second chunks and read them off disk as needed so you always have one
extra 15 second chunk than you currently need. You could probably even make
fake file objects that mapped to the same file on disk using seeks, and use
Just to be clear, you need to play two different multi-minute sounds at
once?
Because your example has one 13-minute track and one 3-second track. If
those are the sounds you need to play at the same time, why don't you just
preload the 3-second one into a pygame.mixer.Sound object and play it
whe