Hacker News new | ask | show | jobs
by systemfreund 4052 days ago
The font is PragmataPro, which I am also using. Best font ever, but expensive.