[math-fun] Wei Dai: advanced civilizations dump their waste heat into black holes? Not quite.