Compiling Rust is NP-hard: the pattern match exhaustiveness checker as a SAT sol compilercrim.es 11 points by fanf2 2 months ago