3 ms·
Something else that I think would be smart to implement is a reorder detection. Have the change approval specificy point out stuff that gets reordered, and requ
by minecraftchest1 4y ago
Something else that I think would be smart to implement is a reorder detection. Have the change approval specificy point out stuff that gets reordered, and require manual approval for each section that gets moved around.
I also think that having a script that walks through the file and points out any ovibious mistakes would be good to have as well.
- dane-pgp 4y agoYeah, there's got to be some sweet spot between "formally verify all the things" and "i guess this diff looks okay, yolo!". I'd say that if you're designing a system which has the potential to disconnect half your customers based on a misconfiguration, then you should spend at least an hour thinking about what sorts of misconfigurations are possible, and how you could prevent or mitigate them. The cost-benefit analysis of "how likely is it such a mistake would get to production (and what would that cost us)?" vs "how much effort would it take to write and maintain a verifier that prevents this mistake?" should then be fairly easy to estimate with sufficient accuracy.