Oldest diving device in history may be early 17th-century Spanish invention | Hacker News Reader