[Ixiaus]

As individuals, I agree. Producing media and computational tools are where we can help the most. Our industry is already geared towards "caring" (in the economic sense, not the emotional sense) about efficiency anyway. e.g. laptops have become more and more efficient, servers are more efficient (especially those deployed at big cloud vendors who care a lot about efficiency.)

Overall I'm not that concerned about our usage as it's not that bad and the industry is already rewarded for producing more efficient machines to compute.

That said, I've always thought it would be a cool project to use formal methods to prove efficiency properties or to quantify and prove the trade-offs between some more efficient algorithm and a greedier algorithm (especially in distributed systems.) But, most of that feels like developer mental masturbation in comparison to the much more egregious sorts of inefficiencies facing us (many of which require both social and technical solutions - the social one being the hardest.)