Hacker News new | ask | show | jobs
by MarceliusK 51 days ago
"Names cause errors" doesn't automatically imply "removing names makes the program easier to generate or reason about"