Yes but other way! Hurtboxes take the damage

All hurtboxes are hitboxes, but not all hitboxes are hurtboxes.

Hurtboxes receive damage

Someone will write a generalized NtoN+1 based on induction and we’ll solve Python

Really cool

One more mystery down, hopefully not much more than one to go..

Aha, I got it :) you can perform such a shift arithmetically! An interesting thing is that right-shifting a transfinite expression reduces its order, so this operation is a rightshift on finites, but a rightshift plus a compensation on transfinites, to make up for the order decrement

It takes a lot of mental effort to consider but it doesn’t seem insurmountable either. You just have to preserve
1. Order (ordinality)
2. Sequence of cardinalities under ceiling division

I know that none of this makes sense without context but oh well

Take a sample of large, randomly generated Python programs with arbitrarily named variables, and translate them to Go, and back

Now do the same with English and Spanish

The Python-Go sample is practically guaranteed to contain more errors, because, like you said, it’s testable

You’re of course correct that “yeet the doggo” will never be unambiguous, but that’s not a disadvantage for an LLM, it’s an advantage!

“Yeet the doggo” is error tolerant. Doggo could be replaced by a number of words

“a+b” is not error-tolerant at all

I’m trying to illustrate the difference between natural and programming languages.

Obviously, a+b must have one meaning or the Python interpreter wouldn’t know what to do. All valid Python programs are unambiguous.

“a+b” in a vacuum is NOT a valid Python program. It gives an error

That’s like saying “foo” can mean literally anything because you can set it equal to whatever you want. Still, it only ever means one thing at a time.

From our perspective, we don’t know whether or not “a+b” is overloaded. But from the interpreter’s perspective, the answer is a strict yes or no

If you’re getting good results, I won’t argue with that, but a chunk of Python code certainly can’t mean multiple things!

A sentence of English or Spanish can have multiple possible interpretations. A piece of Python or Go code only ever means one thing

An LLM has a lot more leeway when working with a natural language than a programming language

Sometimes you do want to throw though

Now THIS is contrarian

I do it stinks

Programming languages are much stricter, like algebra. It’s easier to create something meaningless by placing random algebraic symbols than by placing random words

I know I’m not the only one sick of nominal typing