alt Hacker NewsGiven that the context here is talking about terminals, they probably are literally thinking in terms of bitmap based rendering with integer scaling.
Given that the context here is talking about terminals, they probably are literally thinking in terms of bitmap based rendering with integer scaling.
Right, but most users of terminal emulators typically don't use bitmap fonts anymore and haven't for quite some time (just adding this for general clarity, I'm sure you know it).