3 ms·

FWIW I graduated over a decade ago, and even non-capitalized, I interpreted the title correctly immediately. The fact that it was on HN and said "hard" let me

FWIW I graduated over a decade ago, and even non-capitalized, I interpreted the title correctly immediately. The fact that it was on HN and said "hard" let me take a damn good guess that it would be the NP SAT problem.

groestl 4y ago
Fun fact, also "hard" in this title is a formally defined term.
- rjbwork 4y ago
  Exactly what clued me in. It's an NP-Hard problem so "Sat" + "hard" are inextricably linked in my brain.
  - groestl 4y ago
    That's what I meant.
eternityforest 4y ago
This article explains what SAT is in basic enough terms that I could understand the idea. I'm guessing nonmath nonCS people are part of the intended audience. I had no idea till just now.