Karl Song
- ⚡ I'm interested in ...
- PL, FP, compilers, type systems, and DSL
- AI agents collaboration pattern and scheduling (particularly looking forward to Cangjie AgentDSL)
self-interpret languages and information theoryknowledge representation in abstract spaces, explainable AI
- 🔭 I’m currently working on
- Text-Finer (a structural text interpreter)
- Http3 Cangjie-TPC (migrate from Golang)
- a HarmonyOS App in Cangjie (migrate from BIT101-Android)
- Insect Trajectory Prediction with Stimulus (my final-year project)
- 👯 I’m looking to collaborate on
- Cangjie-TPC (Third-Party Components) development
- HarmonyOS App development (in Cangjie & ArkTS)
- 🌱 I’m currently learning ...
- PL: Haskell, OCaml, Cangjie, ArkTS
- compilers (ArkCompiler-frontend, ArkCompiler-runtime)
- 😄 Other:
- I'm a long-distance running lover
- I'm a subway (traffic) enthusiast
- 📫 How to reach me:
- [email protected]
- 13263124386 (wechat & whatsApp)