What can we gain by losing infinity?
(news.ycombinator.com)
1.
2.
Automatic Textbook Formalization
(news.ycombinator.com)
3.
Non-Messing-Up++: Diagonal Sorting and Young Tableaux
(news.ycombinator.com)
4.
The Art of Bijective Combinatorics
(news.ycombinator.com)