Thomas Larsen's Shortform — AI Alignment Forum