Hey! Nice to see you.

Hi 👋, I'm Super3001

Karl Song

• ⚡ I'm interested in ...

1. PL, FP, compilers, type systems, and DSL
2. AI agents collaboration pattern and scheduling (particularly looking forward to Cangjie AgentDSL)
3. self-interpret languages and information theory
4. knowledge representation in abstract spaces, explainable AI

• 🔭 I’m currently working on

1. Text-Finer (a structural text interpreter)
2. Http3 Cangjie-TPC (migrate from Golang)
3. a HarmonyOS App in Cangjie (migrate from BIT101-Android)
4. Insect Trajectory Prediction with Stimulus (my final-year project)

• 👯 I’m looking to collaborate on

1. Cangjie-TPC (Third-Party Components) development
2. HarmonyOS App development (in Cangjie & ArkTS)

• 🌱 I’m currently learning ...

1. PL: Haskell, OCaml, Cangjie, ArkTS
2. compilers (ArkCompiler-frontend, ArkCompiler-runtime)

• 😄 Other:

1. I'm a long-distance running lover
2. I'm a subway (traffic) enthusiast

• 📫 How to reach me:

1. [email protected]
2. 13263124386 (wechat & whatsApp)