❦ ktnlvr.dev

Hello! I'm Art(h)ur Roos (pronounced /ro:s/).

I do game design, low-level stuff, hack on programming languages and crunch math(s) sometimes. I like Rust, Python and tabletop games.

• programming
  • Operator Overloading Bad
  • Turing Complete Module Exports
  • Random List Sampling is Hard
• maths
  • Quantifier Order Matters
  • Random Matrices with Determinant 1
  • When to do Contrapositive Proofs