Hacker News Reader

And this is what play.google.com/music/listen looks like: http://i.imgur.com/9dmTu6h.jpg :)

And when you click on the mini-player button at the lower right corner you get, you guessed it, a mini-player.