Exploring the ocean with Raspberry Pi–powered marine robots | Hacker News Reader