Hacker News with Generative AI: NP-Hardness

Unique Games Conjecture (wikipedia.org)
In computational complexity theory, the unique games conjecture (often referred to as UGC) is a conjecture made by Subhash Khot in 2002.[1][2][3] The conjecture postulates that the problem of determining the approximate value of a certain type of game, known as a unique game, has NP-hard computational complexity.
Compiling Rust is NP-hard: the pattern match exhaustiveness checker as a SAT sol (compilercrim.es)