I am a programmer with focus in general programming, web development, and machine learning, and a math enthusiast with a focus on combinatorics, logic and discrete math. This platform highlights my journey, maybe as projects, or maybe just me sharing my thought.
My interests include data mining (data visualization, analysis, and machine learning), mathematics (combinatorics, logic, discrete math), natural language processing (LLMs, text normalization), and math proof verification programs like Lean 4. Additionally, I am intrigued by the theory of understanding knowledge, spanning epistemology to metacognition.