Hi there 🥝, I am AshGrey (github username AshGreyG is just for avoiding duplicate with an existing username), you can call me Grey He.

• 🍊 懐尓. She is my best friend, my girlfriend, my wife and my soulmate. She is the eternal spring in my life.
• 🫐 I have a personal website, where my notes and resume are hosted.
• 🌽 I am still studying in Tsinghua University, a second-year undergraduate (possibly I will never graduate) in the School of Pharmaceutical Science. I hate school-learning.
• 🥦 I am really interested in abstract knowledge. Currently I am interested in Type Theory, Frontend Toolchain Develop.
• 🥑 Contact me
  • 💬 WeChat: Huaier [dash] AshGrey
  • 📭 Email: ashgrey [dot] huaier [at] gmail [at] com

🙈 Detailed version

Language	Familiarity	Grammar	StdLib	Compiler
	🦄 I am now a frontend developer, I mainly use TypeScript to develop a frontend project. And I am also a TypeScript type system nerd.	🍊	🍊	🔲
	🦄 At the beginning of my frontend learning journey I mainly use JavaScript. Actually I love TS more than JS.	🍊	🍊	🔲
	🫎 The first language I learn is C++, it's so hard for an beginner in CS, so I give it up when I decide to learn the Modern C++. But I'll pick it up as soon as I have the fundamental of CS.	🍊	🍊	🔲
	🫎 Python is concise and clear, but I haven't delved into its depth and its complex compiler.	🍊	🍊	🔲
	🐑 Currently learning Scheme using SICP	🍊	🔲	🔲
	🐑 Currently learning Java using Oracle Documentation	🍊	🔲	🔲
	🐑 Currently learning Rust using Official Rust book	🍊	🔲	🔲
	🐑 Currently learning Solidity using WTF-Solidity. Solidity's grammar is a little bit boring	🍊	🔲	🔲
	🐑 Currently learning Lean4 using Functional Programming in Lean. おもしろい！	🍊	🔲	🔲

1. 🦄: Familiar
2. 🫎: Comfortable
3. 🐑: Currently Learning

To-Realize-Type-Challenges     ████░░░░░░░░░░░░░░░░    20.21%
To-Realize-Underscore          ██▓░░░░░░░░░░░░░░░░░     13.5%