x
Of simulations and inductive definitions - History — AI Alignment Forum