#typing
3 条发现 · 精选自开放网络的发现,按时间从新到旧。
-
An easier way to enter characters with accent marks on Ubuntu
Typing accented characters on Ubuntu isn’t as easy as it is on macOS (or modern smartphone keyboards), where you just have to a key to see available characters appear in a pop-over, and then pick one. Accent Hold is a GNOME Shell extension that adds macOS-style press-and-hold behaviour. Just press and hold a letter key (e, c, etc) and accented variants and other diacritics (é è ê ë, ç ć č, etc) appear in a small pop-up, beside the text cursor. Press the matching number to pick a character, or use your keyboard arrow keys or mouse. The default way […] You're reading An easier way to enter chara
OMG Ubuntu · EN
-
Static Typing
Static typing zealotry is such a spiritually castrated activity: there’s this mentality that “real programmers” would never even fathom using dynamically typed languages. I also find the idea of “but correctness of the program is in the types” a pretty deficient premise –tests are what gives you confidence that your program is correct, not types. The compiler can help, but it’s not a silver bullet. One time I renamed a field in a model and everywhere else that used it, but I forgot to change a call in a view. Since I was working with a dynamically type
the null-log · EN
-
Show HN: MT Ranked, competitive typing races with ELO ranking
I have loved the clean aesthetic of monkeytype but have always wanted to be able to race my friends on the site. While they do have a feature called Tribe, it has been in development for 6 years https://github.com/monkeytypegame/monkeytype/issues/255 , and I got tired of waiting. MT Ranked not only lets you create a private room to play your friends, but it also adds a competitive ranked mode where you play another person of a similar skill level to you in order to gain ELO. Comments URL: https://news.ycombinator.com/item?id=50356281 Points: 1 # Comments: 0
Show HN · EN