There’s no significant recycling of solar panels because they’re still in operation and don’t need to be recycled. Turns out solar panels last decades with only minor degradation so they haven’t needed to be recycled at scale.
They’re almost entirely glass and aluminium anyway. We know how to recycle glass and aluminium.
The first Clarke I read as a kid and still one of my favourites. It hasn’t aged well, not least because it was written before we landed on the moon and now know its surface isn’t like that.
I think the problem with SAT solvers is that they’re complicated, in terms of computation and also how easy it is to understand by someone who didn’t study formal methods.
WFC is brute-force-simple, but because it’s simple it’s quite computationally inexpensive (unless it hits a lot of dead-ends) and I wouldn’t be surprised if it could often find an adequate solution quicker than a SAT solver. At least for games, where a result doesn’t need to be perfect, just good enough.
Less than perfect solutions can make certain types of video games more interesting because the domain of potential results is generally larger and can include many more variations of challenges to the player.
But not just Roblox. People are spending their time and money elsewhere too. Polymarket and sports betting for one.
reply