I am Brad Contenary ([‘kontənæri]).
PLT & random stuff.
Racket user. / know a little bit of coq&haskell.
amateur writer. (would write in Chinese&English)
music composer&interior designer wannabe.
Chinese. / Student of CS in GDUFS.
currently working on nothing.
previously working on nothing & fighting with depressive mood.
20170107: sometimes you can actually find me at the #bctnry channel of freenode irc server.