That "efficiency loss" is just more heat, so I believe mining wins out in energy terms. You still need to pay for a miner.
What changes the picture more drastically is if you put heat pumps in the picture. Each watt of electricity can give you a few watts of heat!