Possible to use with a pipe?

I'm curious what the required input format is? I would like to point this to a stream and test it out. It's an mp3 stream, but I have access to the source audio and can encode in any format.

Running headless on a linux cloud server ideally.

It is possible to write codes of web sockets clients.

The current websocket client listens to microphone with sounddevice.

whispering/whispering/websocket_client.py

Lines 36 to 43 in f3c9d8a

    
           with sd.InputStream( 
        
               samplerate=SAMPLE_RATE, 
        
               blocksize=N_FRAMES * num_block, 
        
               device=sd_device, 
        
               dtype="float32", 
        
               channels=1, 
        
               callback=sd_callback, 
        
           ), path_out.open("w") as outf:

I'm not very sure but there should be a way to get audio data from mp3 instead from microphone.

This issue is stale because it has been open for 21 days with no activity.

	with sd.InputStream(
	samplerate=SAMPLE_RATE,
	blocksize=N_FRAMES * num_block,
	device=sd_device,
	dtype="float32",
	channels=1,
	callback=sd_callback,
	), path_out.open("w") as outf: