Ah okay, I didn’t realize that.

It’s not quite clear to me that

We rely on some standard LLM detectors to focus our attention on papers that need to be checked.

implies they are using LLMs themselves. The phrase “LLM detector” is a bit ambiguous and could mean “LLM being used as a detector” or just “classifier program designed to detect LLM output”.

im smarter than everyone else around me, especially those whiny feminists. why hasn’t society granted me a female to be my mate yet?

As I explained elsewhere, my comment was just about the inapplicability of mathematics to this question. But also, is that really what morality always says? What if polls predict 1% will vote blue? What if they predict only one other person will vote blue? Are you always obligated to martyr yourself?

You’re the one who mentioned “game theory” in the first place, I was just directly quoting you. My sentence was of the form “game theory doesn’t say X”, not “game theory does say Y”. I added quotation marks to clarify.

My point here is that you can make whatever philosophical and ethical arguments about the situation you want, but none of game theory, Arrow’s theorem, nor the concept of a dictator have any bearing on it. It is an ethics question rather than a mathematical question, and it is an error to claim that your argument is a mathematical one.

If polls predict 40% blue you should not vote blue “as a matter of game theory”, because that is suicide.

I don’t understand the relevance of Arrow’s theorem. Why is your phrasing the correct way of analyzing the situation?

rationalism is when i pull five numbers out of my ass and multiply them together

… why 7/8?

the output is probabilistic not deterministic. By definition, that means it’s not entirely consistent or reproducible, just… maybe close enough.

That isn’t a barrier to making guarantees regarding the behavior of a program. The entire field of randomized algorithms is devoted to doing so. The problem is people willfully writing and deploying programs which they neither understand nor can control.

computer, print awawa.

Also your paper has to be truly irredeemable dogshit to get rejected from arxiv. Like you can post proofs of P=NP as long as it sounds kinda coherent. 2400 monthly rejections is absurd.

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.