Found it. Actually it's about infinite sets more generally than just real numbers, but very interesting nonetheless. https://www.fountain.fm/episode/asNj3sVbH4DUSt881Env I was already familiar with...