Arthur Whitney's one liner sudoku solver (2011)(dfns.dyalog.com)255 points by secwang 2 years ago | 162 comments
Rubik's Cube Solutions, Puzzles, and 8-Balls (2023)(williambader.com)20 points by wonger_ 1 year ago | 4 comments
Bedlam Cube Solved (ALL 19,186 solutions)(scottkurowski.com)25 points by kristianp 10 months ago | 4 comments
Python type hints may not be not for me in practice(utcc.utoronto.ca)91 points by ingve 1 year ago | 155 comments
Show HN: Exploring Mathematics with Python(coe.psu.ac.th)242 points by Andrew2565 10 months ago | 24 comments