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.…
Software is full of circular dependencies if you look deep enough. Compilers written in the language they compile are the most obvious example, but not the only one. To compile a kernel, you need a running kernel. Linkers, build systems, shells. Even text editors, if you want to write the code instead of just…