Don Knuth's MIP, 64 years later(nathanbrixius.wordpress.com)70 points by todsacerdoti 2 years ago | 43 comments
The propagation of error in classical geometry constructions (2018)(jdh.hamkins.org)74 points by downboots 2 years ago | 24 comments
The lattice of sets of natural numbers is rich (2021)(jdh.hamkins.org)95 points by benmandrew 2 months ago | 18 comments
Automate compile_flags for C/C++ projects on the Zig build system(simonhartcher.com)31 points by deevus 1 year ago | 5 comments