_jyty

6 ms·

1. 1.▲
   by _jyty 3y ago

   As someone who isn't in academia, I've heard of this being a problem before, but in the context of research related to computer science, it seems like private research at companies like Microsoft might be better for such research.
2. 2.▲
   by _jyty 3y ago

   That's what I mean; it's often easier to use a font that doesn't have ligatures (like the NL variant) than to use a font with ligatures and hope your editor lets you disable ligatures.
3. 3.▲
   by _jyty 3y ago

   If you have a lot of different symbols, it makes sense that ligatures would help to distinguish them more easily. So, ligatures for Haskell symbols also probably help, since there are so many infix operators in Haskell. There are also a bun
4. 4.▲
   by _jyty 3y ago

   >"Rust is so hard to learn that the AI doesn’t get it" is a bad place to be for rust. I don't think this is really a big point against Rust; in my experience, ChatGPT doesn't write good code in general. To be honest,
5. 5.▲
   by _jyty 3y ago

   Compared side-by-side, Aptos looks rounder and less square, and it has more natural looking curves. The problem is that differences in fonts are kind of subtle when their goals are very similar. Both Roboto and Aptos seem like they're
6. 6.▲
   by _jyty 3y ago

   When they refer to Swisss typography, they're likely referring to the International Typographic Style, which is also known as the Swiss Style (it's on Wikipedia). It's a style of graphic design. It typically uses a Grotesque