I am Hai, also known as
hozy. You can also look
at my resumé.
I am currently a Computer Science student at the City University of Hong Kong. In the past, I have had some—albeit not in-depth—experience developing websites and cross-platform mobile applications. Right now, I am exploring C# and .NET, as well as learning Rust and Julia.
Even though my major is Computer Science, I like to learn about mathematics and physics as well, striving to self-study whenever possible. In particular, I am keenly interested in the intersection between mathematics and theoretical computer science, i.e., topics such as formal language and automata theory, computability and complexity theory, formal verification, and symbolic computation. I like to learn from textbooks and other text-based media.
This website contains a miscellany of things that I have learnt or encountered. I hope you will find something interesting here.