Hi there

---

• 🌱 I’m into
  • Programming (Rust)
  • Math
  • Machine learning
  • Rendering
  • Cryptography
  • Networking
  • Linux
  • Quantum computing
  • Computer-assisted proofs

---

---