Programming Thread — AI Alignment Forum