News for hackers. Stuff that matters.
Re:Formalizing Text Editors in Coq by z3t4 on Tuesday June 09, 2020 @05:45AM (#23465161)
When I started programming I used only single letter variables.

Using proper variable names still feels like cheating - as in how much easier it is to understand what the program does.

There are no comments on this comment yet.