News for hackers. Stuff that matters.
Re:The end of the nice GTK button by chrismorgan on Friday March 25, 2022 @12:15AM (#30798592)
No, but Matthew Butterick, who made them, is: https://mbtype.com/, https://mbtype.com/bio.html.
Re:The end of the nice GTK button by chipotle_coyote on Friday March 25, 2022 @01:52PM (#30805200)
Yes, that was the in-joke. :) They're among my favorite typefaces (as is his newer Century Supra).