About Me
Welcome to my blog! I am a software engineer currently taking a sabbatical. Prior to this, I worked at Baidu and completed a Master’s degree in the Natural Computing Group at the Harbin Institute of Technology.
Despite being on a break, I am still actively engaged in research on topics such as Type Theory, Categorical Semantics, Reinforcement Learning, and other complex subjects. You can find a list of my publications below or read some of the posts I’ve written.
I am passionate about exploring these subjects and sharing my insights with others. I hope you find my blog informative and engaging!
Some Notes
- Category Theory
- Abstract Algebra
- Topology
- Lattice Theory
- Measure Theory
- Reinforcement Learning
- Rust Programming
- Compiler Optimization
- Building an AI Training Framework From Scratch
- Engineering Techniques For Recommendation Systems
- The Mathematics Behind Recommendation Algorithms