This Is Knuth 3:16 (2002)(larry.denenberg.com)

122 points by signa11 2 years ago | 25 comments

Konrad Zuse's Homepage(web.archive.org)

67 points by nanna 2 years ago | 21 comments

Yorick is an interpreted programming language for scientific simulations(yorick.sourceforge.net)

52 points by Tomte 3 years ago | 18 comments

Profunctor Equipment in Haskell(bartoszmilewski.com)

35 points by g0xA52A2A 5 months ago | 13 comments

Frink(frinklang.org)

199 points by lisper 1 year ago | 35 comments

Frink is a programming language designed to make physical calculations simple(frinklang.org)

95 points by thunderbong 3 years ago | 23 comments

Tree Calculus(treecalcul.us)

451 points by iamwil 1 year ago | 176 comments

Homepage for Tree Calculus, a minimal model of computation, with links to its specification and an interactive playground.

OpenAI just dropped 700 preprints of mathematical proofs and counterexamples(github.com)

20 points by tootie 19 days ago | 6 comments

GitHub directory in OpenAI's math repository containing hundreds of preprints of mathematical proofs and counterexamples.

Eigenmoon: linear algebra puzzles by moonlight(eigenmoon.vercel.app)

61 points by jessicarumbelow 6 days ago | 15 comments

Eigenmoon is a browser-based puzzle game teaching linear algebra concepts through moonlit, minimalist interactive levels.

Sharing AI progress in mathematics(openai.com)

1314 points by OfficialTurkey 19 days ago | 1488 comments

OpenAI research publication page announcing its AI progress in mathematics, linking to a GitHub repository of math results and preprints.

My Mathematical Regression(blog.dahl.dev)

346 points by aleda145 4 months ago | 134 comments

Blog post in which the author revisits a decade-old Project Euler solutions repo and reflects on a plain-text answer to problem 15, Lattice Paths.

Human mathematicians are being outcounterexampled(xenaproject.wordpress.com)

456 points by artninja1988 3 months ago | 225 comments

A Xena Project blog post about mathematicians being outpaced at finding counterexamples, from the blog on mathematicians learning the Lean theorem prover.