Christopher King comments on Apocalypse insurance, and the hardline libertarian take on AI risk