The blogger owes us nothing. You’re the one telling us that we should already have known. Maybe instead of criticising us, you could have helped us?
Ahm, from the text: "Boolean satisfiability, or SAT is a decision problem where an input is a boolean formula like [...]"
I mean, I did? While the reply was brusque I did name what the topic was about: boolean satisfiability, "It's pretty damn clear from the context of complexity theory that this is about boolean satisfiability."
The comment I replied to on the other hand was not constructive at all.
This is a link aggregator site and not an editorial site, the content linked to is varied and is not going to meet a single standard, or this site will become monotonous very quickly. I don't even click or read the majority of links here because they don't sound that interesting to me, which is fine. Not everything has to be aimed at the beginner or a particular audience.
When slightly less accessible content or just personally uninteresting content is posted I don't see how a content free snarky comment is at all constructive.