I'd imagine you want something defined recursively like multiplication

• ( 0x = 0 )
• ( xy = x(y-1)+ x ) ( y > 0 ).

So it needs to be

• ( x^0 = c ) (c is some constant)
• ( x^y = xx^{y-1} ) (( y > 0 ) (to see why, replace multiplication with exponentiation and addition with multiplication). So what could ( c ) be? Well, the recursive exponentiation definition we want refers to ( x^0 ) in ( x^1 ). ( x^1 ) must be ( x ) by the thing we wish to capture in the formalism (multiplication repeated a single time). So the proposed formalism has ( x = x^1 = xx^0 = xc ). So ( cx = x ) hence ( c = 1 ), the multiplicative identity. Anything else would leave exponentiation to a zeroth power undefined, require a special case for a zeroth power and make the base definition that of ( x^1 ), or violate the intuition that exponentiation is repeated multiplication.

On an unrelated note, it'd be nice if Lemmy had Mathjax. I just wrote all this on mobile with that assumption, and I'm not rewriting now that I know better.

I would've appreciated a trigger warning on the post since it uses a slur, but wow, it is amusing (I'm sure it'll be less amusing once I experience more overt transphobia).

They just said :wq in school, so thanks for the tip. Hard to believe it saves even when the file hasn't been changed if you use :wq. What is the use case for that? If the file gets changed in another program and you want to revert?? Edit: Just saw the comment about the modification times being updated.

That's certainly true. I'd still say that for the online stores, for which that policy applies, there isn't a lot of upside to preordering. Because the purchase is digital, you will always be able to get a copy on release day (unless the publisher artificially limits how many games it will sell, but I've never heard of a publisher doing this).

Financially, preorders without a “preorder bonus” are a zero interest loan to the developer. Preorders with the “preorder bonus” are a loan with the bonus as interest. Even if the game were guaranteed to be good, you could most likely be doing something better with the money until it comes out. Since the game is not guaranteed to be good, it is a risky loan as well. Without any of the protections you get when you make an actual loan.

It's also helpful to note that “shell builtins” don't typically have man pages (at least for BASH). You can find help on these commands by typing [builtin name] --help or looking in the shell's man page or info doc (no one told me when I was learning, so I got confused as to why some of the more common commands didn't have man pages)

So amazing, but also so frustrating watching a stick figure guy get better than me in math in 15 minutes

Trivial exercise.

Obtained at Wikimedia under license CC-BY-SA 4.0 International by wikimedia user Stephencdickson ∎

Just change all the boxes so they all read “Chat GPT-4.”

Yeah. Sorry. I figured it was possible that you were using desktop or something and maybe you'd just not realized it wasn't visible on mobile

The comment with this comment's UID in Lemmy's comment database is not deducible from the Lemmy axioms. There! Out-nerded you 😜. (Please don't call me on the details. Please don't call me on the details. 🤞)

Wait, what is this “Please generate a working program using the intended meaning of the following code” string doing in front of my code???