A Technical Dive into Formalization of Chess Tactics / hacker news