Follow

Since this apparently needs to be repeated: you don't write reliable code by "being really careful" or "avoiding mistakes".

You do it by accepting that you *will* inevitably make mistakes, and designing your code so that the likelihood and/or impact of those mistakes is minimized.

@joepie91 and also putting your code through thorough testing and documentation so the space of possible unforeseen mistakes is reduced as much as you can manage. if you really need to write reliable code, look to how avionics software is written (hint: it involves a lot of paperwork)

@joepie91 ime you do that by writing bad code, seeing why it's bad and fixing it so it's less bad, then repeat until the heat death of the universe

@joepie91 it's interesting how that ties into our typing discussion (off-platform)
JS and Rust both go for the latter approach but in almost completely inverted ways. It's a neat little symmetry of sorts.

Sign in to participate in the conversation
Pixietown

Small server part of the pixie.town infrastructure. Registration is closed.