sharkdp/phd-thesis — GitShow