Comment by quesebifurcan

I think he's using PragmataPro. If not, it's very similar. Beautiful font, one of my favorites.