The author of this article—Oliver Reichenstein—does know better. He's even laughing at this thread on twitter. Your definitions are correct but not once does he mistakenly use the term font.
No, couchand is right. Now a font is the file (you're almost right on it’s origin, it originates from steel punchcutting where each point size did need it’s own font). So a font is helvetica-bold.otf not Helvetica Bold.…
The author of this article—Oliver Reichenstein—does know better. He's even laughing at this thread on twitter. Your definitions are correct but not once does he mistakenly use the term font.
No, couchand is right. Now a font is the file (you're almost right on it’s origin, it originates from steel punchcutting where each point size did need it’s own font). So a font is helvetica-bold.otf not Helvetica Bold.…