Another interesting observation is that when you press a key combination in a non-English layout it "conveniently" assigns it to what would be there in #QWERTY…
Nevertheless, I still hope that after a short while of getting used to the new layout I'll get the promised 1.5+ times speedup or reduced tiring.
And finally, it's just interesting to explicitly observe how the motor subsystem develops new "routing strategies" for the fingers…
You can't formally verify just any program: not because of the inherent complexity of practical programs, but simply because it's virtually impossible to even state the invariants this piece of work is supposed to obey.
Unless it was written with that goal in mind. And the formal specification was written first.
Is there a place in #C where it sucks more than at handling integer over(and under)flows?
There is a couple issues with the layout in #Xorg though:
- right Alt isn't working, so M-b is a pain in the ass
- caps lock not only does that, but also backspace…
Today’s my birthday so I thought I’d give you all a little present:
@small-tech/https, a batteries-included plug-and-play replacement for the Node.js https module with automatic provisioning of both locally-trusted and globally-trusted certificates (via mkcert and Let’s Encrypt)
Happy birthday y’all! 🎉
#Workman layout feels really comfy.
Reading the future with Emacs, or why M-n is useful in the minibuffer:
(An excellent Emacs tip, which works in deadgrep too!)
functional.cafe is an instance for people interested in functional programming and languages.