Three challenges in machine-based reasoning | Hacker News Reader