minimalized

4 ms·

1. 1.▲
   by minimalized 2y ago

   The alternative is treating systems based evidence the same as witnesses. They're examined and cross referenced because they are rightly not presumed to be reliable.
2. 2.▲
   by minimalized 2y ago

   That's fair. But as the article shows, that presumption ends up weighing heavily in favor of computers working correctly. The nuance is in the difference between plumbing, which generally works well, and the bespoke business logic of i
3. 3.▲
   by minimalized 2y ago

   It's over simplification of a nuanced situation. Over simplification in either direction is a problem.
4. 4.▲
   by minimalized 2y ago

   The article makes a strong case otherwise. Proving a system built and maintained by a large, well heeled entity is unlikely to be possible for all except other large, well heeled entities.