Hacker News new | ask | show | jobs
by nh23423fefe 1497 days ago
Compilers aspire to be something like a total function. Define you inputs and outputs and you are "forced" into a correct implementation.

real software isn't like that. I interpret "small" to mean localized in idea space.