Hacker News Reader

Yes! There are a few answers here: https://superuser.com/questions/605445/how-to-stream-my-gnu-... I'm using the top one and it works well for me.

Interesting.

It should certainly be possible to use a little device driver for MacOS that streams all output in some IP stream format. Then use any web radio client of choice on the android device. Latency will be terrible though.

Search for macos loopback. It is a tool that is part of a collection of tools which might make this possible