Yeah, a heat pump is definitely better if you have it. My point is that if you don't, mining provides the same energy-to-heat conversion ratio.

My house is from the 1800s and only has heating for the kitchen/dining room/living room.