It's quite simple really

Comments

• Bubs@lemmy.zip ⁨1⁩ ⁨day⁩ ago

  Any nerds able to give us the TL;DR on what this actually means?

  source

  • fossilesque@mander.xyz ⁨1⁩ ⁨day⁩ ago

    Well it’s obvious. Soundness is when the

    source

    • Bubs@lemmy.zip ⁨1⁩ ⁨day⁩ ago

      Ahhhhh… I get it! It’s really about how the

      source
• jaennaet@sopuli.xyz ⁨2⁩ ⁨days⁩ ago

  Special unsoundness

  source

  • perishthethought@piefed.social ⁨2⁩ ⁨days⁩ ago

    Caught my eye too. They’re talking about mEEEeeee!!

    source

    • jaennaet@sopuli.xyz ⁨2⁩ ⁨days⁩ ago

      We finally made it into a research paper, and it’s not a medical case study!

      source
• edinbruh@feddit.it ⁨1⁩ ⁨day⁩ ago

  This looks more complex than it needs to be. We can just merge those two IFF soundnesses at the top and remove transitive implications and we are left with a straight line with two bifurcations.

  Also… I only know constructive logics and abstract interpretation with Galois connections… Where do they fit in this? 🥺

  source
• fubarx@lemmy.world ⁨2⁩ ⁨days⁩ ago

  There’s no allowing for Unspecial Soundness.

  Or where most fun knowledge resides: Unspecial Unsoundness.

  source