My blog moved to https://weilbach.dev/.