1024th's Blog

I'm Tianchuan Lin, PGP Key 8E43EC4445861DA7 .

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