News for hackers. Stuff that matters.

A comment on Dev Fonts. Parent comment

Re:Dev Fonts by sigzero on Friday November 20, 2020 @09:12AM (#25160572)
I am not fan of ligatures because of the (although small) mental gymnastics that have to happen when reading code. It's unnecessary.
[ Parent | on HN ]
Re:Dev Fonts by rvanmil on Sunday November 22, 2020 @04:01PM (#25181063)
I got used to them really quickly to the point that I prefer them over regular characters. No mental gymnastics required.
[ Parent | on HN ]