- 💻 Using ArchLinux/NixOS and KDE Plasma.
- 🏆 Have experience in OI(Olympiad in Informatics).
- 📝 Regularly write articles about algorithm and number theory.
- 🧑💻 Researching Functional-Programming and Programming Language Theory.
- 🖥️ YanJi/燕几图 / Programming Language Designer
- 🖥️ MoonBit / Technology Evangelism Consultant
- 🖥️ Loro / Previously worked
- ⚙️ MoonBit/Core / Collaborator
- ⚙️ Serein / Leader & Major Maintainer
- ⚙️ PureEval / Leader & Major Maintainer
- ⚙️ VoxelGeometry / Major Maintainer
- ⚙️ Node / Contributors
- ⚙️ OI-Wiki / Contributors