Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

> 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.



Or, 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...


Oh right we'll just "formally verify it," all good then!


What'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"...


It works on my brain




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: