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