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.
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.
deleted by creator
Well, it is true that computer programs have far surpassed humans in board games. They are very well suited for it. It just has nothing to do with the hypothesized abilities of future “AI” as rationalists conceive them.
Oh, I didn’t know that!
The paper is itself written by LLM.
flaviat explained why your counterexample is not correct. But also, the correct statement (Liouville’s theorem) is that a bounded entire function must be constant.
CS has a huge number of people who think you can derive the solutions to social problems from first principles. It’s impossible to reason with them.
Karl Radek jumpscare
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?
Related to aviation systems, here’s a writeup about a complicated incident, where a discrepancy between two “identical” components was a contributing factor:
It was possible for one channel to detect that the plane was airborne while the other channel did not […] With one channel in flight mode and the other in ground mode, the SECs believe that there has been a failure of one of the LGCIUs, and they both shut off.
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.