Yes they are. Technically though it's not mixed. All arriving audio data is dumped into a single buffer. Mixing would now be a great way to get rid of the stream's choppyness.

now that so many users are playing simultaneously, I'm a bit annoyed that some leave the website open and stream silence.

Wondering how I could get a user a fair slot to perform now...

Anyways, the stream has become a great source of entropy now :D

So, is this like a giant party line?

https://en.m.wikipedia.org/wiki/Party_line_(telephony)

Oh I see. Server side mixing would probably be a good option to help it scale better. Cool stuff anyway :)

I now hacked together a really bad mixer. Not sure how it will work live. Let's see.

I usually don't do prod testing but hey I'm on holiday :D