Hacker News Reader

You can play the .mid files with VLC media player.

My VLC says these files (the ones I got, anyway) are in the wrong format to be played and it throws an error.

You can otherwise try opening it in musescore, that worked for me too: https://musescore.org/en