Robin Hanson's Grabby Aliens model explained - part 1 — LessWrong