Hi there 👋 He/Him 中文/English/Français Specialized in Computer Science @ Centrale Nantes/Pékin Interested in Systems Programming and Developer Tooling Previous Intern @ AdaCore working on RecordFlux (Q2 - Q3 2022) Member @ Rust working on Rustup (Q3 2023 -)