Tony Finch dot@dotat.at https://dotat.at/ https://dotat.at/:/838PF.html 2024-09-19T20:42:01Z 2021-07-08T18:10:12Z Compiling Rust is NP-hard: the pattern match exhaustiveness checker as a SAT solver.
  • 2021‑07‑08 - Compiling Rust is NP-hard: the pattern match exhaustiveness checker as a SAT solver.
  • https://niedzejkob.p4.team/rust-np/
  • redirect https://dotat.at/:/838PF
  • blurb https://dotat.at/:/838PF.html
  • atom entry https://dotat.at/:/838PF.atom
  • web.archive.org archive.today
    • ]]>