A rambly introduction, where we describe our background and goals. We attempt to decide on a name for this podcast.