The blog now runs on Hugo with the PaperMod theme.