Hacker News new | ask | show | jobs
by Supermancho 971 days ago
> Things just work, and they break during compilation if they don’t.

You omitted the caveat: the program will behave in unexpected ways sometimes. What else do you do to ensure correctness?

ie The minimum bar for modern software is not "it compiles, ship it".