Yeah, i think for a general community post like this, that sentence has too much subtext (SAT is NP-complete so if it was solved in polynomial time then the title of the post would be P=NP not something about ETH).
Anyways, there could always be a hard limit at like n/logn^2 or n/logn^1.000001 or something like that.
Isn’t 2^{n/logn} still faster-growing than any polynomial?
This is besides the point, but I think you should play Night in the Woods. (the OST isn’t the main attraction but if you liked Oneshot, Oxenfree and Celest, i really think you’d like it.)
A game with an amazing, non-original soundtrack is Life is Strange but a lot of people don’t really like that game’s story that much, so i’d recommend NITW first.
When i was running bazzite, I was running more apps through arch distroboxes than flatpaks, and many things i wanted to install were just straight up impossible immutably, so i switched to cachyOS and turns out, you want something, it’s on the repo or AUR and just works.
It was the default terminal, yes. I also got pissed by the change, as not only does Konsole look worse than whatever it was, i had to rebind things like the terminal shortcut.
All tech is killing off budget options because of the increasing percentage of wealth owned by the top 1% who will just buy the most expensive option without regard for features or practicality.
Small phones would be cheap and cheap phones break the illusion that 2000$ phones are normal.
It has nothing to do with demand, it’s just that the bottom 99% isn’t a profitable market segment anymore.