Not sure I agree with the idea to ban this, though. I think it's a huge waste of time, money, and electricity, but people should be able to do that if they want.

But they should have to pay their fair share for it: penalties for these noise complaints should meaningfully cut into their profit to the point that it would be more cost-effective for them to build proper noise isolation. Electricity prices should be set higher for commercial activity of that kind so local communities aren't harmed, and in places where they aren't mining off renewable energy, the carbon impact of the mining should be accounted for somehow. And we should ensure that these companies are paying their fair share of taxes. I expect the low taxes in Texas is a reason why mining companies like it there, though.

And if paying for these externalities makes mining no longer profitable, that's just the system working as it should.