i think it’s when you and a bunch of other vegans live in a group home together and argue over who does the dishes

a lot of this “computational irreducibility” nonsense could be subsumed by the time hierarchy theorem which apparently Stephen has never heard of

He straight up misstates how NP computation works. Essentially he writes that a nondeterministic machine M computes a function f if on every input x, there exists a path of M(x) which outputs f(x). But this is totally nonsense - it implies that a machine M which just branches repeatedly to produce every possible output of a given size “computes” every function of that size.

the ruliad is something in a sense infinitely more complicated. Its concept is to use not just all rules of a given form, but all possible rules. And to apply these rules to all possible initial conditions. And to run the rules for an infinite number of steps

So it’s the complete graph on the set of strings? Stephen how the fuck is this going to help with anything

if two people disagree on a conclusion then either they disagree on the reasoning or the premises.

I don’t think that’s an accurate summary. In Aumann’s agreement theorem, the different agents share a common prior distribution but are given access to different sources of information about the random quantity under examination. The surprising part is that they agree on the posterior probability provided that their conclusions (not their sources) are common knowledge.

Sorry for you and your cat. You did the right thing, but that doesn’t make it any easier.

??????????????????

I’m also a big fan of the concurrency implementation, I wish other languages made it so easy to use green threads & channels.

P(hole)

article is informing me that it isn’t X - it’s Y

what i got from reading this is that it’s not X, but Y.

In this case these are grade schooler’s (roughly ages 9-18) essays for a standardized test, so there isn’t a body of students who could grade them.

Given consistent trends of exponential performance improvements over many years and across many industries, it would be extremely surprising if these improvements suddenly stopped.

I have a Petri dish to sell you

codeword is banana bread

Will there be statues to swap as well?

Mistress

is this more evidence that robots are taking our jobs? the investigation continues…

The Democratic party’s presidential nominee for 2028 will be chosen by a primary election, which will also be in 2028. Until a candidate wins the primary election, there is no nominee. This is important because Newsom is a sack of shit and we have multiple years with which to oppose his run for nomination.

He is not the Democratic presidential nominee for 2028.

There’s a part where they quote someone saying “I am not particularly confident [in my p(doom)]” and I’m still remembering getting talked down to about how Actually all subjective uncertainty can be represented as probabilities because Bayesianism and you wouldn’t happen to be one of those stupid frequentists right?

That’s weird, The Register’s versions of the quotes are different (not just pared down).

I don’t really understand what point Zitron is making about each query requiring a “completely fresh static prompt”, nor about the relative ordering of the user and static prompts. Why would these things matter?