Listening to podcasts along with music,
on Android



Podcasts and audiobooks are a great way to get info. I particularly like them because I can simultaneously do things that don't require singular focus, such as driving, exercising, doing dishes, cooking, etc.

I also like listening to music during those activities, and in the past I was faced with a choice between the two. Why not both!?

On a computer, it's easy to listen to both simultaneously – just start both, and adjust volume levels. Typically I'm listening on an Android phone, though, which has some limitations:

How can we work around these limitations? The next section explains one possibility.


I listen to podcasts on Podcast Addict and music on Spotify. I haven't tried many other apps, but these are popular and work decently enough. Anyway, with those particular apps, here's how to listen to both:

  1. Press the vertical ellipsis in the top right corner.

  2. Press "App settings", then "Player".

  3. Scroll all the way to the bottom of the Player settings.

  4. Check the "Ignore Audio Focus requests" option, which is currently marked "Experimental".

Podcast Addict and Spotify settings


  1. Press the 3 horizontal bars next on the left side of the search box, to open up the sidebar.

  2. Press "settings", then "navigation settings", then "Voice selection".

More words

Inspecting Haskell Instance Resolution

A sketch of how Haskell instance resolution errors could be improved Read