Joseph Miller's Shortform — AI Alignment Forum