Portfolio

I’ve migrated my portfolio stuff to a better domain and a (hopefully) more polished page here.