Hacker News new | ask | show | jobs
by tlrobinson 4574 days ago
That's the GitHub font.