Hacker News new | ask | show | jobs
by flohrian 3255 days ago
Hm. documentation, readability, maintainability?

in general you cannot even prove, whether a program does the right thing...