I appreciate the interest in doing all the math, and I am also not specifically familiar with audio or the audio library, but I believe you could use a similar argument against the OG library of babel, and I happen to know(confidently believe?) that they don’t actually have a stored copy of every individual text file “in the library”, rather each page is algorithmically generated and they have proven that the algorithm will generate every possible text.

I’d wager it’s the same thing here, they have just written the code to generate a random audio file from a unique input, and proven that for all possible audio files (within some defined constraints, like exactly 15 seconds long), there exists an input to the algorithm which will produce said audio file.

Determining whether or not an algorithm with infrastructure backing it counts as a library is an exercise left to the reader, I suppose.

I’ve used alacritty for ages, its lack of ui is appealing on a tiling wm and it is as performant as i need it to be

This is what the nice command is for

I’ve been diagramming/documenting my network at work using draw.io, it is a little clunky but it works well for me, has good features and preloaded art for different types of devices.