During this year's Spring Festival, I spent a lot of time on type-challenges, practicing challenge after challenge. And then, it happened: I finally understood TypeScript. It's not just about "type annotations"; rather, it can be highly reactive, with types being inputs for other types, and a small change triggering a chain of changes. Everything is so well-constrained. Your types flow.
This project was born during my first Hackathon at Microsoft. I had a lot of fun and made a cool video with my friends. I continued working on this project beyond Hackathon and eventually integrated it into our repository. Although I have since left Microsoft, I am happy to hear that people are still using it in their daily work.