YHacker News
Screenshot of math.ucr.edu: Surprises in Logic (2016)

First screen, captured .

Looks similar