I had formally reduced the Erdös-Szekeres conjecture into a constraint unsatisfiability problem [pdf on arxiv] && formulated a new proof for the Moessner’s theorem with double induction [pdf on arxiv] && completed a Ph.D. module in Programming Language Theory - all these when I was 19. And then I lost my virginity.
I started coding at 12. I founded my first start-up at 16 (back in 2012, after dropping out from Catholic High School) and eight months later it died. I began freelancing & working for different start-ups since then.
I was the lead developer & shareholder of a start-up that got into the Startup Battle in TechCrunch Disrupt London 2016. Still, just like most start-ups it ran out of its runway eventually and died.
I speak English, Cantonese, and Mandarin fluently. But most importantly, I use emacs -)