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