Related? https://news.ycombinator.com/item?id=42244003 - We can mine asteroids for space food