• 0 Posts
  • 180 Comments
Joined 1 year ago
cake
Cake day: July 28th, 2023

help-circle
  • BluesF@lemmy.worldto196@lemmy.blahaj.zoneCenterists
    link
    fedilink
    arrow-up
    29
    arrow-down
    9
    ·
    edit-2
    22 hours ago

    I appreciate this, I really do, but you do have to be careful not to end up like certain leftist Reddit subs where I got banned for the heinous crime of suggesting that voting for Harris might produce better outcomes than voting for Trump. Some level of discussion that goes beyond what the majority (or, lbr, the mods) think has to be allowed or you just have an echo chamber.

    Granted, that isn’t what is happening in the comic. The apologist here is genuinely advocating tolerance of Nazis. This situation is appropriate.











  • Your model is lacking in one area - poopy() has an inverse poopwash() where for some set of poopy objects Y, poopwash maps Y to a subset of the set of real world objects, but there exists a set of poopy objects Z for which poopwash maps Z to a subset of poopy objects.

    My initial instinct was to suggest that for all z in Z, keep(z) = false, however I believe your million dollar example runs counter to this. Nonetheless, I suspect there is a useful subset of Z, let’s say S, for which we can say, for all s in S, keep(s) = false.


  • BluesF@lemmy.worldtomemes@lemmy.worldDeep thoughts.
    link
    fedilink
    arrow-up
    5
    ·
    edit-2
    1 month ago

    A fair point - here’s a generalisation. W denotes windows, M the ability to move, a and b are two objects for which their possession of windows and ability to move (or otherwise) is known, and x is some other object.

    (W(a) ^ W(b)) ^ (M(a) ^ ¬M(b)) -> ¬(W(x) -> M(x))