Comment by quanrong

2 months ago

Location: Palencia, Spain

Remote: Yes (preferred, EU timezones ideal, open worldwide).

Willing to relocate: Yes.

Technologies: C, C++, Go, OCaml, JavaScript, Common Lisp, Scheme, Python, x86-64 assembly. I can pick up new languages fast.

Comfortable using GNU/Linux (Guix, Gentoo, Debian), Git, Emacs.

Résumé/CV: https://codeberg.org/quanrong/CV/raw/branch/main/resume.pdf

Email: quanrong@mailbox.org

Recent BSc Computer Science (First Class Honours, University of London), with a previous degree in Asian Studies. Just finished a batch at the Recurse Center, where I focused on compilers and systems programming. Seeking an internship or entry-level software engineering role, be it full-time or part-time. Comfortable working close to the metal and reading other people's code.

Selected projects:

  - GCC: Contributed three patches to -fanalyzer adding handlers for the mktemp family (mkstemp, mkostemp, mkdtemp, and variants), with argument validation, three new warning flags, and success/failure path bifurcation enabling fd-leak and double-close detection. Accepted for GCC 17.

  - PolyML: Fixed overflow-handling bugs in IEEEReal.scan and Word.toInt to match the Standard ML spec.

  - GNU Guix: Package contributions to the upstream distribution since 2021.

  - Dolus: Scheme-to-x86_64 compiler in OCaml (in progress).

  - Built and deployed a voice data collection tool for a linguistic researcher at University of Barcelona, featuring a custom self-hosted voice conversational agent that interviewed study participants.