Aim Small, Miss Small: Writing Correct Programs | Hacker News Reader