A Good Lemma Is Worth a Thousand Theorems (2007) (sites.math.rutgers.edu) | HN Screenshots

YHacker Newsscreenshots

Screenshot of sites.math.rutgers.edu: A Good Lemma Is Worth a Thousand Theorems (2007)

First screen, captured 5 months ago.

Looks similar

Screenshot of orwell.ru: Second Thoughts on James Burnham (1946)

Second Thoughts on James Burnham (1946)(orwell.ru)

25 points by allthebest 3 years ago | 5 comments

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

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

59 points by dargscisyhp 2 years ago | 8 comments

Screenshot of utcc.utoronto.ca: What is going on in Unix with errno's limited nature

What is going on in Unix with errno's limited nature (utcc.utoronto.ca)

61 points by ingve 1 year ago | 38 comments

Screenshot of sites.math.rutgers.edu: Opinions of Doron Zeilberger

Opinions of Doron Zeilberger (sites.math.rutgers.edu)

46 points by kaladin-jasnah 2 years ago | 42 comments

Screenshot of gunkies.org: Gordon Letwin OS/2 Usenet post (1995)

Gordon Letwin OS/2 Usenet post (1995)(gunkies.org)

92 points by walterbell 1 year ago | 68 comments

Screenshot of susam.net: Lemma for the Fundamental Theorem of Galois Theory

Lemma for the Fundamental Theorem of Galois Theory (susam.net)

126 points by susam 1 year ago | 33 comments