4 ms·
it shows that at the fringes nobody in the audience correctly predicts what will happen... anyways, here's the abductee-programming-language-conundrum: consid
by abductee_hg 5y ago
it shows that at the fringes nobody in the audience correctly predicts what will happen...
anyways, here's the abductee-programming-language-conundrum:
consider Language X:
there is a nuclear power plant, and you or loved ones live within 10 miles. it is your responsibility to select the language for implementing the emergency shutdown procedures. would you use language X?
- hirundo 5y agoFor something like that I would be more concerned about the tests than the language. In other words, I'd trust my own code not at all, in any language.
- aflag 5y agoI'd select a redundant mechanical device.
- TeMPOraL 5y agoOr chemical. My first thought was: scram rods hanging off a "rope" made from an alloy specifically selected to melt at the right temperature. And/or a similar arrangement involving wax, as I think waxes have longer history of being used as thermal breakers.
- mhh__ 5y agoIf X is formally verifiable and conducive to writing testable, contractual code then yes.
- spcebar 5y agoI posit there is a difference between the safety of millions of people and the functionality of my stupid website.
- blacktriangle 5y agoSounds like a job for Ada