3 ms·
> It's as easy as tying the results of frequent cognitive tests into a moving average that triggers my medication dispenser to start mixing in a toxin You appe
by credit_guy 3y ago
> It's as easy as tying the results of frequent cognitive tests into a moving average that triggers my medication dispenser to start mixing in a toxin
You appear to me to be the type who never writes any bugs in their code.
- nanolith 3y agoOr, someone who would thoroughly test such a system and formally verify it long before use, as it would literally be a life or death thing...
- pc86 3y agoOh right we'll just "formally verify it," all good then!
- klibertp 3y agoWhat's closer to "bug-free" (here, inside the cave) than formally verified software running on verified hardware in a distributed[1] system? [1] Because "you can't type-check being hit by lightning"...
- lapetitejort 3y agoIt works on my brain