About me
- 👋 Hi, I am xiaoshihou514.
- 💻 I am proficient in programming both functionally and imperatively, currently focusing on Scala.
- 💪 I can tackle analytical and computational further maths problems.
- 📚 I am interested in programming languages, in particular type theory, program verification / specification and parallel computing.
- 📖 On the mathematics side, I am interested in analytical discrete maths, such as groups / rings / category theory.
- 📝 My favourite text editor is Neovim.
- 👀 During my free time, I build interesting software for fun. I like to build language related tooling and polished practical apps. I am now learning to develop in Qt.
- ✍️ I occasionally write down what I've learned here.
- 🏃 I enjoy single person sports like jogging and swimming.
- 📫 How to reach me: