I'm Tianchuan Lin.
PGP Key 8E43EC4445861DA7

I'm interested in programming languages, formal methods, type systems, and all things tech.