about me
I am arshtyi, an undergraduate student majoring in Computer Science and Technology (Artificial Intelligence) at Shandong University, China.
areas of interest
I enjoy connecting knowledge, technology, and personal interests through programming. My areas of interest include:
- algorithms and problem solving
- programming languages and software development
- formal verification
- typesetting and technical writing tools
languages and tools
- programming languages: rust, cpp, zig, c#, go, python, lua, kotlin etc
- formal verification: lean
- typesetting: typst
beyond programming
Outside computer science, I am interested in science fiction, trading card games—especially Yu-Gi-Oh!—and strategy games.
contact me
Feel free to reach out through any of the following:
- Email: arshtyi@foxmail.com
- GitHub: @arshtyi
- QQ: 640006128
- WeChat:
arshtyi_trantor