Viewing profile — klageveen
klageveen
HN member- Joined
- Mon, Jul 30, 2018, 1:29 PM UTC
- HN karma
- 307
- Public activity
- 80 items
- HN profile
- View on Hacker News ↗
About klageveen
Side projects: http://programmingfonts.org http://app.programmingfonts.org https://github.com/braver https://packagecontrol.io/browse/authors/braver http://koenlageveen.nl
Recent public activity
-
comment
Comment #45438528
This SO topic also has a solution via the GitHub UI: https://stackoverflow.com/questions/73581385/github-notifica...
-
comment
Comment #43132026
I’m so picky a made an entire website about them ( https://www.programmingfonts.org/ ) … yet I’ve been using San Francisco Mono exclusively, basically since it was introduced in 20…
-
comment
Comment #38655614
Ok, wow, why did I miss that. Thanks!
-
comment
Comment #38653822
This is cool of course. But so was Rome. Which only existed for about two years. It’s one thing to build a cool tool, it’s something else entirely sustain one over time. I need a b…
-
comment
Comment #21309501
Yes, I’ve seen a lot with old formats. I don’t think the bitmaps themselves are a problem, I already have a bunch (maybe they are faux bitmap though, not sure actually). And they d…
-
comment
Comment #21306250
Sadly, Dina is only available as a Windows FON file format, which I can't use or host in a web app.
-
comment
Comment #21305855
Indeed, just the free ones. Although perhaps I should list the commercial ones too in some way. That said, I do tend to feature them in the tumblr blog, so you can search that for …
-
comment
Comment #21305841
What bitmap fonts do you miss? The site is currently restricted to fonts with a license that allow me to serve a web font for the live preview. So while there are a bunch of bitmap…
-
comment
Comment #18963577
I think it too!
-
comment
Comment #18963560
The problem here is that the information isn’t always available. If the docs don’t mention box drawing characters, or powerline symbols the font may still have them. Also, a lot of…
-
comment
Comment #18963432
I have looked at it but have not found a suitable variant. All I find are commercial versions and “The fonts are not redistributable”. Honestly, I doubt bitmap versions are useful …
-
comment
Comment #18962368
Well, there is no way to get a list of installed fonts via the browser, but I have thought about adding an input so you can try installed fonts. I just don't have enough time to ta…
-
comment
Comment #18961907
Lots of old school fonts aren't available in a format that browsers understand. A TTF version of Terminus is in there though. IIRC there was something wrong with the Gohu font file…
-
comment
Comment #18961719
Don’t get me started on target=“_blank” and UX ;)
-
comment
Comment #18961699
You can uncheck the AA option on programmingfonts.org though. I need to make something to make fonts render at their “proper” size when needed...
-
comment
Comment #18961670
They’re all mono though ;)
-
comment
Comment #18961652
A font’s dimensions at a given “font-size” are actually completely up to the designer. Something like x-height can only be determined by rendering and then measuring. Editors tend …
-
comment
Comment #18961583
Fonts with ligatures are indicated as such, but I’ve yet to add all the other metadata. I do have the data, just need ideas on how to surface it in the UI with too much clutter. I …
-
comment
Comment #18961541
It probably would. Redistributing the font in another form is usually a violation. It’s also severely impractical ;)
-
comment
Comment #18961509
Awesome feedback, thanks!
-
comment
Comment #18959006
It's just a default set from some release of CodeMirror. I guess I should upgrade that..
-
comment
Comment #18958827
Thanks! It's on my list to actually get https set up for it because originally GitHub pages didn't support that.
-
comment
Comment #18958744
That's what I feature on the blog, but you'll notice the right-hand side of app.programmingfonts.org is interactive. That's kinda hard to do with static images ;)
-
comment
Comment #18958669
Thanks!
-
comment
Comment #18958665
Another thing I should integrate I guess. However, just as a general note, you can safely use every single font featured on app.programmingfonts.org for yourself.