Post #3924822

In computer science, there is a curious detail – or rather, a theorem – stating that it is impossible to prove that a program actually does what it is supposed to do. Every week we receive updates for the apps we use every day. Either the people working at big companies don’t know what they’re doing and are constantly getting things wrong, or the development process is really complex, and hard to plan and get everything right. From my experience, I can say that it’s impossible to cover everything in the technical documentation. Once the structures and data are turned into code, sooner or later a detail will come up that wasn’t covered on paper. It may not be detrimental to the entire architecture, but the realisation that you didn’t think of this during the planning stage will gnaw at you for a very long time. #programming #softwaredevelopment