Re:Why Sat Is Hard
by Dalewyn on Sunday February 26, 2023 @09:17PM
(#34952166)
Nothing is more ignorant than being willfully ignorant of the fact you aren't making sense to your audience.
"You" in reference to the people posting these things here at HN, not the article author. We aren't the article author's audience, so he has every right to ignore our needs. Whoever posts these things here, though? Their audience is us, and he needs to try and make sense of himself.
Just add "(Boolean SATisfiability)" after "SAT" and everything would have been fine. It's simply good practice to always explain the first use of an acronym anyway.
"You" in reference to the people posting these things here at HN, not the article author. We aren't the article author's audience, so he has every right to ignore our needs. Whoever posts these things here, though? Their audience is us, and he needs to try and make sense of himself.
Just add "(Boolean SATisfiability)" after "SAT" and everything would have been fine. It's simply good practice to always explain the first use of an acronym anyway.