Generating and solving difficult logic puzzles with LLMs | Hacker News Reader