💼 Compiler engineer in Suzhou Tongyuan.
I work on language runtime ⚙️ and semantics engineering 💬 for Julia programming language.
There are programming languages I craft for faith:
- 🚣 RowScript: A JavaScript dialect that types and compiles.
- ➗ TinyLean: Lean-like theorem prover in less than 1K lines of Python.
- ♻️ Reussir: Functional programming meets performance.
💡 I have a blog for notes and novel ideas.
👀 Feel free to ping me if anything here intrigues you.