RoboSat: neural nets for OpenStreetMap mapping | Dark Hacker News