About

Your time is limited, so don’t waste it living someone else’s life.

Hi, I am @huxpro (Huang, Xuan), a Facebook software engineer and a professed digital designer. My interests range from programming languages in general (type system, type-based formal verification, compiler construction, runtime system) to indurstial software engineering (web/mobile app development, user interface and UX, developer infra and DX).

In the past, I worked on Alitrip (Fliggy) mobile and web apps under the Alibaba Group, found and lead front-end infrastructure team at a unicorn startup Beijing Weiying (WePiao), and helped Ele.me to upgrade their mobile web into the first influential PWA (progressive web app) in China.

I studied BA, Digital Media Art at Communication University of China and MS, Computer Science at Rochester Institute of Technology, with a focus on programming languages theory and construction.

My Programming Languages Spectrum

I generally prefer languages that are close to ML (“Meta Language”), i.e. mostly functional programming. This should explain most of my picks e.g. JavaScript within dynamically-typed’s, Scala within JVM’s, Rust within unmanaged’s.

Left-right is how much I prefer it. Top-down is how much I know it. Versions are lower bounds.

ML*: OCaml ReasonML Standard ML
Lisp*: Clojure Scheme Racket
Typed JS*：Flow TypeScript

Talks

• Upgrading to Progressive Web Apps · JSConf China Shanghai 2017
• Building Progressive Web Apps · CSDI Guangzhou 2017
• The State of Progressive Web App · GDG IO Redux Beijing 2017
• PWA Rehashing · Baidu HQ Beijing 2017
• Service Worker 101 · GDG DevFest Beijing 2016
• Progressive Web Apps · QCon Shanghai 2016
• Progressive Web App in my POV · GDG IO Redux Beijing 2016
• CSS Still Sucks 2015 · 2015
• JavaScript Modularization Journey · 2015