Astronomers scan 800 pulsars to see if any of them have planets