Any nerds able to give us the TL;DR on what this actually means?
Well it's obvious. Soundness is when the
Ahhhhh.... I get it! It's really about how the
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 a couple bifurcations to cul de sacs.
Also... I only know constructive logics and abstract interpretation with Galois connections... Where do they fit in this? 🥺
Special unsoundness
Caught my eye too. They're talking about mEEEeeee!!
We finally made it into a research paper, and it's not a medical case study!
There's no allowing for Unspecial Soundness.
Or where most fun knowledge resides: Unspecial Unsoundness.
A place for majestic STEMLORD peacocking, as well as memes about the realities of working in a lab.
Rules
This is a science community. We use the Dawkins definition of meme.
