Hacker News· ntropey·· 2 小时前AI 评分18
HoDoKu 重制版：经典 Java 数独求解器移植为 PWA，新增 AI 教练
HoDoKu Revisited – Classic Java Sudoku Solver Ported to PWA with AI Coaching
AI 导读
经典 Java 数独求解器 HoDoKu 被用 TypeScript 重制为可离线使用的 PWA，并新增 AI Super Solver & Coach。该 AI 教练支持对任意候选数追问“Why not?”，通过假设、强制推导到矛盾的三步证明排除该候选，也提供四阶段渐进式提示。求解步骤与 HoDoKu 2.2.0 逐步一致，内置 32 篇技巧指南，无需 Java 和安装。
来源：Hacker News · hodokurevisited.com