marshray

I haven't noticed that.

My 2nd grader once brought home a homework sheet with some simple problems involving combinations of coins and I was like "this is unsolvable!"

> The subexponential solution does carry over to any (?) problems that have can be reduced to 3SAT in a linear number of variables. They list: Counting independent sets, Counting proper q-colorings, Counting perfect matchings.

Wouldn't that also include functions that can be evaluated in hardware using a fixed number of gates? E.g., symmetric cryptography?

If I can "count the satisfying assignments of a k-CNF in subexponential time and polynomial space", could I just count the the solutions for assignments of 0 and 1 to x_1, then proceed with whichever is greater (or nonzero), counting the solutions for x_2=0, and so on.

Doesn't that lead me to an existence proof (i.e., a solution) to a k-SAT problem in N*(subexponential_time and polynomial_space)?

And with constant folding, N is reduced by 1 on each iteration.

What obvious thing am I missing here?

Definitely. It will let some smooth-talker with a vibe-coded website raise billions for "Nuclear Fusion AI". Then they can use AI to squeeze your team with lawsuits until you agree to sell cheap, and maybe keep you on as an employee to build it.

There are whole branches of data security, practices, and products dedicated to answering that question and managing that risk.

The similarities look obvious, but how are these situations different? Seems like an interesting question.

With the almost 10x share price run-up of the last few years, an offer of fully-vesting is going to sound pretty good to a lot of people.

It's just an .md file and a few hundred lines of json schema defining some extension messages, not a bottom-up protocol revision.

What is "exceeding authorized access" if not "using APIs in a way counter to their intent"?

At least with LK-99 we had people claiming to have personally measured these properties in actually existing samples.

Don't forget the mothers of all those original authors, as well as everyone who labored to build and sustain the societies which produced writers.

Three Eight One by Aliya Whiteley

I didn't really get this book the first time through.

A Psalm for the Wild-Built is another cozy favorite from Chambers.

The first two books contain the primary story. I'm told it was originally supposed to be a single book.

The end of the first book made me wish for a paper copy I could throw against the wall :-D

I found it quite good, but super complex.

Apparently there are typographic markers which were completely lost in the audiobook version. It made very little sense to me until about halfway through.