YHacker News
Screenshot of arxiv.org: How real are real numbers? (2004)

First screen, captured .

Looks similar