Karl Song
My Gitcode homepage is https://gitcode.com/FrontclvSong
- ⚡ 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 combined with AI agent capability)
- Insect Trajectory Prediction with Stimulus (my final-year project)
- 👯 I’m looking to collaborate on
- Cangjie-TPC (Third-Party Components) development, e.g. Http3 Cangjie-TPC (migrate from Golang)
- HarmonyOS App development (in Cangjie & ArkTS), e.g. a HarmonyOS App in Cangjie (migrate from BIT101-Android)
- 🌱 I’m currently learning ...
- programming languages: Cangjie and its predecessors e.g. Go, Swift Rust, Zig
- compilers (ArkCompiler-frontend, ArkCompiler-runtime)
I'm currently paying attention to ...
- researches led by professors Bruno C. d. S. Oliveira or Lionel Parreaux
- 😄 Other:
- I'm a long-distance running lover
- I'm a subway (traffic) enthusiast
- 📫 How to reach me:
- [email protected]
- 13263124386 (wechat & whatsApp)
- [email protected] (no longer use after Aug 2025)