I think he’s referring to this:

https://m.youtube.com/watch?v=hOML9zwoZn0

I use this to randomise the order of a playlist, then I don’t have to use the Spotify shuffle: https://stevenaleong.com/tools/spotifyplaylistrandomizer

It’s a shame something like this isn’t built in.

People you’ve never met or spent any time alone with basically make your life better super frequently. Medical scientists developing new treatments, engineers coming up with better/more efficient/safer alternatives, state and local governments and councils maintaining services, etc.