ProofWiki: Online compendium of mathematical proofs(proofwiki.org)130 points by Tomte 2 years ago | 28 comments
In math, rigor is vital, but are digitized proofs taking it too far?(quantamagazine.org)110 points by isaacfrond 7 months ago | 99 comments
There's Math.random(), and then there's Math.random() (2015)(v8.dev)115 points by beepill 1 year ago | 64 comments
There's Math.random(), and then there's Math.random() (2015)(v8.dev)26 points by corentin88 3 years ago | 24 comments