About me
- 👋 Hi, I am xiaoshihou514.
- 💻 I am proficient in programming in most imperative languages, currently focusing on Scala and Zig
- 💪 I can tackle analytical and computational further maths problems.
- 📚 I am interested in programming languages and type theory.
- 📝 My favourite text editor is Neovim
- 👀 During my free time, I build interesting software for fun.
- ✍️ I occasionally write down what I've learned here
- 🏃 I enjoy single person sports like jogging and swimming.
- 📫 How to reach me: