first post December 30, 2017 i’m starting up a personal site to post random stuff i learn or accomplish. this site might be empty.