Three challenges in machine-based reasoning | Dark Hacker News