Foundations for Computable Topology | Hacker News Reader