Live data from Hacker News

Commas in big numbers everywhere: An OpenType adventure

blog.janestreet.com

1–10 of 43 posts

Re: Commas in big numbers everywhere: An OpenType adventure

#3

Brilliant. This should be an opt-in feature in all programmers fonts.

You can use the patcher on Github to patch a font of your choice, although underlining currently only works well with some fonts.

I also have some good fonts pre-patched on the download site at https://thume.ca/numderline

Re: Commas in big numbers everywhere: An OpenType adventure

#4
Wow, that's an elegant solution!

I also have a difficult time reading large numbers without commas. Because I use Alfred (mac command launcher) quite a bit, I wrote up a simple workflow to re-display selected numbers with commas. Not as universal as the font-based solution but might be useful to some:

https://github.com/abhik/tres-commas

Re: Commas in big numbers everywhere: An OpenType adventure

#7
post #6

Probably cool, but the website disables zooming in phones so I can't tell. I wish pages couldn't disable zooming -- that should be up to me. Does anyone know browsers that always allow zoomi (If any Jane Street blog folks read this, please fix your blog.)

Huh interesting. Zooming works fine for me on IOS. Maybe it's only blocked on Android. If I remember I'll take a look on Monday.

Re: Commas in big numbers everywhere: An OpenType adventure

#8
post #7
post #6

Probably cool, but the website disables zooming in phones so I can't tell. I wish pages couldn't disable zooming -- that should be up to me. Does anyone know browsers that always allow zoomi (If any Jane Street blog folks read this, please fix your blog.)

Huh interesting. Zooming works fine for me on IOS. Maybe it's only blocked on Android. If I remember I'll take a look on Monday.

Zooms fine with Brave on Android.

Re: Commas in big numbers everywhere: An OpenType adventure

#9
post #6

Probably cool, but the website disables zooming in phones so I can't tell. I wish pages couldn't disable zooming -- that should be up to me. Does anyone know browsers that always allow zoomi (If any Jane Street blog folks read this, please fix your blog.)

Firefox on Android has an accessibility setting named "Always enable zoom".

With this feature enabled, I can zoom in on this site.

With this feature disabled, I can not zoom in on this site.

Post reply on HN