Hacker News new | ask | show | jobs
by turtleyacht 239 days ago
Yes. In this case, it represents "teaching" the compiler something it didn't previously "know" about. But wanted to connect that to whether the computed output of a language could ever be falsifiable, i.e. we would not know it happened.