Skip Navigation
What does ZFC do that Peano arithmetic can't do?

More precisely, is there a "natural" statement (a statement that isn't deliberately constructed to be an example) that can be stated in PA, proved in ZFC, but not provable in PA?

6
"Death of a King" and "Heart of Courage" - they sound similar right?

https://www.youtube.com/watch?v=B04H8gF2GyY 3:27 and https://www.youtube.com/watch?v=iMkCXuZiYaw 1:11

0
Ethical Art AI
  • In all seriousness though, I wouldn't pay money to look at pretty pictures. If I wanted an image but AI didn't exist, I wouldn't commission anyone. The image that I want just simply wouldn't exist.

  • Ethical Art AI
  • turns on phone

    goes to the clock app to set an alarm so I can wake up in the morning

    phone sends a push notification of names and contact numbers

    "Siri what is this?"

    "It's a list of knocker ups you can hire to wake you up and are looking for new clients"

    Knocker ups' comment on this story: "This is a horror story to a techbro and a feel-good comedy to anyone with a sense of human decency"

    ( from reddit )

  • Game design question : how to make a "trapped" player character?
  • Thank you for the detailed response. The gameplay loop I have in mind is a puzzle game where the thing you're trying to do is usually easy, but you're limited in some way that makes it hard. An example I gave in another comment is : write a computer program that adds two numbers, but you're not allowed to use the + symbol.

    I really like your idea of "beneficial spell". I think maybe the knight and enemies are autonomous, and the princess can only do a single action to make the knight succeed.

    I remember playing a game like this. It's based on Conway's game of life. The goal is to flip a single cell to make all the cells die after a certain number of turns.

  • Game design question : how to make a "trapped" player character?
  • I have in mind a puzzle game. Not a room escape, but more of a code golf-style game. For example, those programming puzzles that say "write a computer program that adds numbers, but you're not allowed to use the + sign anywhere in your code".

  • Game design question : how to make a "trapped" player character?

    I have an idea for a game: It's the usual "a princess is kidnapped by a dragon and a brave knight is on a quest to rescue her" story. But you (the player) plays as the princess, who is somehow helping the knight on his quest.

    The issue is that since the player is playing as a trapped character, I want to make the player feel trapped, but I don't know how to do that.

    My original idea is that the princess telepathically communicates with the knight and tells him what to do. But this doesn't work, the gameplay is identical to the player playing as the knight. How can I make the gameplay feel like the player is playing as the princess (and thus feel trapped) instead of the knight?

    45
    thoughts on the new Atakhan?

    voracious is gone, ruinous now gives you all the petals, and extra damage when you kill people.

    0
    New to lemmy. Is there a version of /r/changemyview?

    Reddit admins forced the mods of /r/changemyview to ban the discussion of transgender topics. Is there a version of /r/changemyview here that allows transgender topics?

    27
    Recommendations for "girly" games?

    By "girly" games I mean : games that have a soft/pink color scheme. About slice of life (preferably with romance elements), and non-violent with no/minimal combat.

    I've already played Stardew Valley, Minecraft and Animal Crossing.

    104
    Apparently you can sell recall

    It's a bug , you can accidentally sell recall, and there's no way to get it back. I don't know if it's been fixed yet, but for now, just avoid playing until it gets fixed.

    0
    Gold is not low elo

    Gold is mid elo. Look at the rank distribution - the midpoint where half of the players are above and half are below is somewhere around mid silver. If you're Gold 3 or above, you should be proud!

    3
    InitialsDiceBearhttps://github.com/dicebear/dicebearhttps://creativecommons.org/publicdomain/zero/1.0/„Initials” (https://github.com/dicebear/dicebear) by „DiceBear”, licensed under „CC0 1.0” (https://creativecommons.org/publicdomain/zero/1.0/)JA
    jannaultheal @lemmy.world
    Posts 8
    Comments 6