Hi there! Depending on where you look, I go by mei or Maja Kądziołka . I'm a queer weirdo who's into computers; currently an undergraduate student at the University of Warsaw. Following my contribution to the BB(5) collaboration , I'm looking for a place for myself in academia.
Visit niedzejkob.p4.team → RSS feedOn Hacker News Jun 2021 – Jul 2021
Programming Languages 2Systems & Performance 1Software Engineering 1
...though it's not the flagship borrow checking that's at fault. What I noticed, and would like to share with you today, is that the exhaustiveness checking performed by the Rust compiler on match patterns is a superset of the SAT problem.…