• manuallybreathing@lemmy.ml
    link
    fedilink
    English
    arrow-up
    5
    arrow-down
    1
    ·
    10 days ago

    i enjoyed the Velma tv show immensely, its okay if you didn’t, but people got really carried away with just how much they hate women the show, it’s a cartoon, enjoy it or dont, don’t act like Rome is burning before your eyes

    good jokes, inclusive characters, queer people that don’t die in the first episode, fun subversion of expectations, meta humour about tropes, a fun mystery, cancelled too soon, but there’s still 30something episodes

    it made me reasses how I felt about Mindy Kaling’s work as a whole, turns out I had been caught up in the misogynistic whirlwind in the past, I’ve really enjoyed her older stuff upon revisiting it since seeing Velma

      • Gobbel2000@programming.dev
        link
        fedilink
        English
        arrow-up
        1
        ·
        10 days ago

        Okay, but even if we assumed (x=b) to be a very small equivalence relation, it should appear in the denominator position to form an equivalence quotient.

        • Crazazy [hey hi! :D]@feddit.nl
          link
          fedilink
          English
          arrow-up
          1
          ·
          edit-2
          10 days ago

          Oh yeah was a bit sleepy and thought you could just put arbitrary expressions in the numerator instead of just the type.

          But consider this: heterogeneous propositional equality type of types x and b under equivalence relation a, which is bound somewhere else in the aether that we can’t see in the screenshot

          Constructors of this equality type? No fucking clue but I’m sure there exist some to make the need for an equivalence relation make sense

          • Gobbel2000@programming.dev
            link
            fedilink
            English
            arrow-up
            1
            ·
            10 days ago

            You’re probably on the right track. Every hunk of symbols is probably a valid type expression in some system. Including a square root type.

  • TeamAssimilation@infosec.pub
    link
    fedilink
    English
    arrow-up
    2
    ·
    edit-2
    10 days ago

    You ignoramus. This is what allows us artistic geniuses to freely unleash our gifts to the world, what we call “creative liberty”.

    An insignificant thing like being wrong should not stop our creative juices from flowing unabashed.