• NateNate60@lemmy.world
    link
    fedilink
    arrow-up
    0
    ·
    5 months ago

    Normal person: ¬(Garbage | Trash) = okay to put here if it is not garbage and not trash

    Computer programmers: ¬ Garbage | Trash = okay to put here if it is not garbage or it is trash, but since garbage and trash are the same thing and ¬P | P = 1, it’s okay to put anything here

      • Revan343@lemmy.ca
        link
        fedilink
        arrow-up
        0
        ·
        5 months ago

        Historically, ‘garbage’ was specifically food waste, what we now would call ‘kitchen scraps’ or ‘compost’ if you live somewhere with a municipal composting program, or compost yourself. (Historically, ‘compost’ generally referred to the finished compost, rather than also the waste going in.) ‘Trash’ was other non-compostable refuse.

        TL;DR Trash goes to the dump, garbage goes to the pig pen or compost bin

        • Flying Squid@lemmy.worldOPM
          link
          fedilink
          arrow-up
          0
          ·
          5 months ago

          Interesting!

          However, this was behind a coffee kiosk at a mall, so I’m going to go with ‘the manager isn’t too bright.’