As I note in a footnote of my post, we can already solve many practically important satisfiability problems in linear time, and readily solve problems with millions of variables and clauses. See, for example: www.cs.rice.edu/~vardi/paper...

Show Post

We also have to acknowledge that polynomial-time invariance holds only for certain models of computation. The extended Church-Turing thesis has by no means been proven to be true. Though I bet an AI will prove it true in some amazingly galactic sense.

Show Post

Roose does a very nice job signaling in the second paragraph what sort of book this will be. He decided to write it the night after partying with ketamine-snorting effective accelerationists. He isn’t e/acc himself, but he hangs with that crowd and accepts their premises as newsworthy,

Show Post

“it’s actually worse for the environment when you ride a bicycle because the metal for 1000 bicycles could have gone into manufacturing a truck that some guy will only drive to the store. and I don’t know if you know this, but 1000 people are fewer than one”

Show Post

I feel like after David Lynch passed, the world became a David Lynch movie.

Show Post