Towards Validated HTTP Implementation | Hacker News Reader