Converting the first 10,000 digits of pi into a musical sequence

pi10k (site)

Fun to play around on for a bit.