From language to logic | Hacker News Reader