Compiling Rust is NP-hard: the pattern match exhaustiveness checker as a SAT sol (compilercrim.es)2 points by fanf2 7 hours ago | 0 comments