I made a very similar comment to this just today: https://news.ycombinator.com/item?id=46925036
I agree, and I didn't even fully consider "recompiling" would change important implementation details. Oh god
This seems like an impossible problem to solve? Either we specify every little detail, or AI reads our minds