Fidget(mattkeeter.com)

529 points by todsacerdoti 1 year ago | 51 comments

Matt Keeter's project page for Fidget, a library for representing, compiling, and evaluating large math expressions, mainly as a backend for implicit surfaces.

Stone–Wales Transformations(johncarlosbaez.wordpress.com)

37 points by chmaynard 1 year ago | 5 comments

Rosser's Theorem via Turing Machines (2011)(scottaaronson.blog)

59 points by dargscisyhp 2 years ago | 8 comments

O3-mini simulated scikit calculations(emsi.me)

21 points by emsi 1 year ago | 13 comments

Claude Fable 5.1 made me a nice animated pelican(simonwillison.net)

41 points by elsewhen 1 month ago | 11 comments

The QMA Singularity(scottaaronson.blog)

73 points by frozenseven 1 year ago | 28 comments