The Humble Programmer

intellectually manageable programs subset of intellectually manageable programs reduce the solution space proof of correctness over tests, build on top of a programs designed to be correct and no the other way around vital abstraction patterns avoid to write smart programs (https://www.cs.utexas.edu/~EWD/transcriptions/EWD03xx/EWD340.html)[https://www.cs.utexas.edu/~EWD/transcriptions/EWD03xx/EWD340.html]