ProofWiki: Online compendium of mathematical proofs(proofwiki.org)

130 points by Tomte 2 years ago | 28 comments

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

122 points by signa11 2 years ago | 25 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

Project Euler(projecteuler.net)

518 points by swatson741 11 months ago | 126 comments

The About page of Project Euler, a site offering a series of challenging mathematical and computer programming problems for recreational learning.

Ashby's book "Introduction to Cybernetics" (2003)(pespmc1.vub.ac.be)

44 points by carapace 3 years ago | 1 comments