Learning and Solving Sudoku via SATNet | Hacker News Reader