Holistic specifications for robust code | Hacker News Reader