Hello, this is Aaron Lin (Yongxi Lin). I am a second-year PhD student in mathematics at Carnegie Mellon University. My main interests are harmonic analysis, PDEs, and the formalization of mathematics in Lean 4, and I am a reviewer for mathlib.
I share my experiences of learning math here. I often find the proofs in textbooks difficult to understand, so I hope to share some of my own understanding of mathematics and provide some motivation for various concepts.