5 ms·
>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
by fsckboy 2y ago
>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!" <— ᵇᵘᵗ ʸᵒᵘ ʲᵘˢᵗ ᵘˢᵉᵈ ᶠᵃᶜᵗᵒʳᶦᵃˡ
- jansan 2y agoIs the exclamation mark character for factorial different from ASCII x21?
- ndsipa_pomu 2y agoNo!
- IshKebab 2y agoHmm I think there are probably more Danish and Norwegian people than mathematicians writing about null sets.
- cue_the_strings 2y agoNo 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.
- zinekeller 2y agoYou're (probably) correct, considering that the specimen used Ø instead of ∅ (see https://braileinstitute.app.box.com/s/gw2s8k5kfc6t1uabkiyqlcnb1hmwng2v https://braileinstitute.app.box.com/s/gw2s8k5kfc6t1uabkiyqlc...), and the font do not have the null symbol. (also like the German commenter the null set is an empty set = {}, I only encountered ⌀ as diameter symbol, actually)
- bmicraft 2y agoWow, 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.
- snatchpiesinger 2y agoI use DejaVu Sans Mono for programming, it places a dot inside 0.
- tempodox 2y agoIf you like DejaVu, you'll love BitstromWera Nerd Font [1] (looks almost the same, with some improvements). It works great with Starship [2]. [1] https://www.nerdfonts.com/font-downloads https://www.nerdfonts.com/font-downloads [2] https://starship.rs https://starship.rs
- daneel_w 2y agoA truly underrated font.
- saaaaaam 2y agoPossibly 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?
- nyantaro1 2y agoYou 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?
- bmicraft 2y agoUbuntu Mono does too!
- fsckboy 2y agoI 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.