Спасибо за наводку. Пролистал все комментарии к видео на YouTube, нашел только один, и то похоже не от автора видео, а от простого YouTube юзера.
Если вкратце, то имеется возможность программно управлять скоростью вращения дисков в дискете, подстраивается какая скорость должна быть для какой тональности. Потом берется обычный MIDI и преобразовывается тональность => количество оборотов.
Это только предположение, но очень похожее на правду.
Phantom of the Floppera