phd-notes This repo is for private notes related to my phd thesis. Not really much to see unless you are myself.