suricrasia online is researching 24/7 on how to make furry IRL a reality
@SuricrasiaOnline To the extent that people generally assume the second isn't true, sure, but I don't foresee the first one being plausible in the next, oh, century or so (and even if it _were_, that would probably imply #3 anyway, without the hassle of #2).
@SuricrasiaOnline we think that formulating the cnf is probably more complicated than a solution to the second would be(assuming that it's absurdly complex).
@SuricrasiaOnline probably isn't, but even if it is, then the cnf is probably not a great representation of the encoding of the problem.
ｃｙｂｒｅｓｐａｃｅ: the social hub of the information superhighway
jack in to the mastodon fediverse today and surf the dataflow through our cybrepunk, slightly glitchy web portal