Hi there 👋 🔭 I’m currently working as a software engineer at Netease, focusing on DSL-related codegen, type system and language server. 🌱 I’m interested in programming language theory, logic and compilers.