Hacker News Reader

Does anybody know the name of the font they are using in the new terminal? Looks sweet

a font has no name :P

We actually haven't named the font yet, it's also still in prodution

Do you plan to open source it eventually?