Tetris is NP-hard even with O(1) rows or columns (2020) [pdf](martindemaine.org)

65 points by isaacfrond 1 year ago | 14 comments

Can Programming Be Liberated from the von Neumann Style? (1977) [pdf](worrydream.com)

7 points by tosh 7 months ago | 1 comments

Typesetting the "Begriffsschrift" by Gottlob Frege in Plain TeX [pdf](tug.org)

33 points by perihelions 11 months ago | 5 comments

Mathematical Foundations of Joy(hypercubed.github.io)

65 points by tosh 2 years ago | 8 comments

Generalizations of Fourier analysis (2021)(gabarro.org)

119 points by mscharrer 3 years ago | 22 comments

The reciprocal sum of the prime-prefix-free numbers converges [pdf](jdb19937.github.io)

15 points by jdb1729 21 days ago | 14 comments

A math paper proving, assuming the Riemann Hypothesis, that the reciprocal sum of prime-prefix-free integers (OEIS A287117) converges, with bounds verified in Lean 4.