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.

You must know my parents 😅

Whoops, looks like someone forgot to make the base juice class abstract…

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.

Suppose this post were true. Then it is a good post. So there exists a good post on the internet and it is not true. But this is a contradiction. So this post must be false and hence there must exist a good post on the internet

That was the joke

This should work with some caveats.

1. Tbis probably won’t work on WSL (Linux needs direct access to your hardware).
2. For DVDs, you need to be sure libdvdcss is installed for this to work correctly

• You probably already have this on your system if you have successfully watched a dvd in Linux.

3. You may need to replace /dev/cdrom with the name of the device file corresponding to your drive.

• See https://wiki.archlinux.org/title/Optical_disc_drive#Learning_the_name_of_your_optical_drive.

4. This creates an exact copy of the disk, including the unallocated space. You would probably want to follow the guide https://wiki.archlinux.org/title/Optical_disc_drive#Creating_an_ISO_image_from_a_CD,_DVD,_or_BD

• (@BustedPancake@lemmy.world’s use of mkisofs does the same thing because they copy the files on the disk rather than the whole disk. But you don’t need makemkv. You should be able to use any method of copying the files and Linux should use libdvdcss to decrypt them.).

edit: caveats is note spalled caceats

edit: file → files on the disk

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

Ooh, cool.

XX∉X∈XX∉X⇐⇒XX∉X∉XX∉X (1)

XX∉X∈XX∉X∧¬XX∉X∈XX∉X (2)

Thence G(me) (2,explosion)

where G(x): x has 1,000,000 bars of gold

Thanks for the gold

Couldn’t a Chromium clone relicensed under some copyleft license also be a viable option against Chromiums? Chromium is licensed under BSD-3 which Wikipedia claims is compatible with the GPL, so there wouldn’t be any legal reason this couldn’t be done, right? Other than not really wanting to split a project with excessive forks (which is only bad if you think that the Chromium project itself is a net good), is there some technical or other reason why this would be a bad idea?