A Powerful New 'QR Code' Untangles Math's Knottiest Knots
(news.ycombinator.com)
1.
2.
Maze Algorithms (1997)
(news.ycombinator.com)
3.
130k Lines of Formal Topology: Simple and Cheap Autoformalization for Everyone?
(news.ycombinator.com)
4.
Graph Topology and Battle Royale Mechanics
(news.ycombinator.com)