Dwarf planet Ceres: Origin in the asteroid belt? | Hacker News Reader