>it's to differentiate 0 from Ø [a letter used in Danish, Norwegian]
most importantly it's to differentiate it from ∅, mathematical null set.
"computer people" feel this understandable need to differentiate their zeroes, but "CS-is-math people" are like "but don't use null set!" <— ᵇᵘᵗ ʸᵒᵘ ʲᵘˢᵗ ᵘˢᵉᵈ ᶠᵃᶜᵗᵒʳᶦᵃˡ
Wow, what ever that website is doing manages to completely and utterly break my gpu rendering in a way I haven't seen a site do in over a decade. It just paints the text over whatever was there last, including other windows above my browser.
No way, DK and NO aren't that big, and you learn about empty sets in HS in most of the world. I'd wager there are currently more Indian high schoolers than people in DK/NO.
I just tested it (have tested it before, always looking for mono fonts)
DejaVu Sans Mono does not look anywhere near as good as Lucida Sans which is LibreOffice Calc's default for me, comparing just the numerals. The digits in this variable pitch font are fixed pitch so it's suitable for spreadsheets.
(I mentioned the extra marking on zeros in the spirit of the thread, but personally I don't care about it, I'm not mixing up letters and digits much irl or especially in a spreadsheet.)
but in any case, the DejaVu Sans Mono glyphs rise up above the baseline, floating in the cells, and they are larger for a given pointsize. I don't know whose fault this is, but my complaint is that every time I try to look at different fonts, the futz-around-and-find-out factor is so great it's just a waste of time. It's a problem across systems (windows, linux, mac), across generations (Motif, 3.1) it's a problem across apps, it's just a problem that's completely unnecessary. I think font people spend too much time looking at their font on a tabula rasa wedding invite, and not enough time doing comparative font selection in ordinary apps.
Possibly idiotic question: I'm fairly new to actually writing code myself in any thing more than a tinkering way. What do you use for programming where you can choose the typeface?
You mean a text editor where you can change your font? I am pretty sure most of them support that feature, VS Code just to mention one. Or do you mean other kind of tool?
most importantly it's to differentiate it from ∅, mathematical null set.
"computer people" feel this understandable need to differentiate their zeroes, but "CS-is-math people" are like "but don't use null set!" <— ᵇᵘᵗ ʸᵒᵘ ʲᵘˢᵗ ᵘˢᵉᵈ ᶠᵃᶜᵗᵒʳᶦᵃˡ