A few days ago, somewhere in these over-lapping threads, @Heikki recommended the Weird Little Guys podcast.
Thank you. It’s very good. It’s not the usual podcast with two guys shouting into microphones and filling time by laughing at each other’s jokes. I can only take about 10 minutes of that. This was dense, informative and serious.