What if we could reason about the design space of data structures? | Hacker News Reader