If you aren't using your computer, who cares. Not like you'll notice.
Tipping someone forces me to pay money I've already earned.
I can't be assed to set up a crypto miner on my laptop and manage the wallet and all that, it's not worth the few bucks to me.
But if it means making a livelihood to an open source developer, who collectively has hundreds of people doing this, yeah I would absolutely do that.
It also lets me support a larger number of devs. I realistically don't want to pay out $5/mo to dozens of devs. (Currently sponsor 4)
But if there's mining software that distributes profits against a pool of devs of my choosing, then sweet -- free money for them!