VLC 4 has an interesting new randomizer that works as you describe: https://blog.rom1v.com/2019/05/a-new-core-playlist-for-vlc-4/#random-playback https://blog.r

VLC 4 has an interesting new randomizer that works as you describe: https://blog.rom1v.com/2019/05/a-new-core-playlist-for-vlc-4/#random-playback https://blog.rom1v.com/2019/05/a-new-core-playlist-for-vlc-4... Discussion: https://news.ycombinator.com/item?id=19978295 https://news.ycombinator.com/item?id=19978295