• 2 Posts
  • 12 Comments
Joined 4 months ago
cake
Cake day: March 10th, 2025

help-circle





  • subiprimeto196ionizing rulediation
    link
    fedilink
    English
    arrow-up
    6
    ·
    1 month ago

    man i hate it when i walk by a nuclear power plant and get hit with crippling amounts of ionizing radiation and my immune system stops working

    …they should really figure out some way to like, keep the radiation inside or something…






  • subiprimeto196Rule
    link
    fedilink
    English
    arrow-up
    2
    ·
    2 months ago

    I think this could use a bit more elaboration, since if x-y+y-z < -(|x-y|+|y-z|), then ||x-y|+|y-z|| >= |x-y+y-z| wouldnt be true. This is impossible though since q >= -|q|



  • subiprimeto196Rule
    link
    fedilink
    English
    arrow-up
    3
    ·
    2 months ago

    I’m confused about this step in the final condition’s proof:

    |🍎(x) -🍌(x)| +|🍌(x) - 🍇(x)| >=|🍎(x) -🍌(x) +🍌(x) - 🍇(x)| = |🍎(x) - 🍇(x)| since |q| >= q forall q

    I can see how it’s true by proving that |p| + |q| >= |p + q|, but that’s not stated anywhere and I can’t figure out how |q| >= q forall q is relevant.

    Also, thanks a lot for making/showing a proof :D


  • subiprimeto196Minerule
    link
    fedilink
    English
    arrow-up
    2
    ·
    3 months ago

    i saw this before going to bed and i dreampt mojang actually added this and i was watching hbg highlights videos in the new update