• 1 Post
  • 10 Comments
Joined 1 year ago
cake
Cake day: June 17th, 2023

help-circle

  • codemonk@programming.devtoLinux@lemmy.mlHow terminal works
    link
    fedilink
    arrow-up
    4
    arrow-down
    1
    ·
    6 months ago

    Unfortunately this is not the case. A lot of people leave school assuming that scientific discoveries are eternal, unfailable truth that we just know to be true. Few ever understand how we acquired our knowledge and how to lewrn to understand it. Many assume you ‘just have to learn it’. Those your play around with computers or other stuff have an advantage. They know how to gain understanding not just how to learn facts.







  • Maybe ‘failing’ is too strong. What I mean is that in situations like the one I showed, texture healing cannot solve the problem of uneven texture. Not that they claimed it does. It just eases the problem. I like to know the trade-offs. When does it provide an improvement and when not? What tensions does that create?

    From a users point of view, I do not know if it ‘fails’ or not. I totally agree with you. Maybe the I would find to distinct ‘m’ glyphs annoying, maybe not. And example emphasizes the ‘problem’. Maybe, I woukd even notice while coding or writing. To know that, I need to try. I just like to know the trade-offs in advance.



  • Technically, font healing is a neat idea. It fails for text that does not meat its requirements, i.e. two ‘m’ next to each other. Depending on the characters around them, this might create two different ‘m’.

    This is unavoidable, of course. The only solution are proportional fonts. So font healing is a nice idea. It creates a more consistent spacing at the price of less consistent glyphs. Whether one likes this compromise, is a matter of taste. I personally lean towards consistent glyphs, but I did not try it for an extended period.


  • I switched from ISO to ANSI a few month ago. I touch type and I need German umlauts. Just as a background. This required me to find a layout that supports umlauts. I went with EurKEY. Overall, switching was easy. I do need a larger AltGr for umlauts but overall, switching was no big deal. I do like the shape of the return key on ANSI and that there are fewer keys right to my right pinky (on the home row). Typing umlauts is slightly less convenient, especially when capitalized, but not by much. Switching between ISO and ANSI and at the same time German layout and EurKEY is easy for me. Side note: I switched for the same reason (keycaps) and for writing code.