Viewing profile — colonelcanoe

On what basis can you claim that exercise would prevent 100% of deaths?

You can construct formal proofs about a TLA+ spec, using the "TLA proof system" (TLAPS). Or, you can verify properties for "bounded models" of your spec via brute force. The latter…

Maybe they asked the wrong questions, but I think that's the point of the questionnaire model.

While this does not answer your question, which I find interesting, it seems pretty sensible that you'd want to explore this option even if you are planting lots of trees. Doubly s…

Do you need to know what's going on inside? Or can you trust a colleague who's responsible for that?

That's the classical birthday "paradox" but that's not what happened here. Here, a random person in the room announced their birthday, and the question is whether someone else in t…

It might be the case that the relevant, practical threshold now tightens. For example, perhaps it is easier to experimentally verify a protein shape predicted by an algorithm than …

I'd actually recommend buying from a local shop for your first bike, if there's a good one close by. The warranty service, plus discounts on gear and free tune ups, will be worth a…

You could program the rules of the state channel used to provide payment exactly for the piece of the torrent provided. Like you point out, that would use a trusted third party to …

You tell them the same thing regardless of the outcome of the test. The 80% of the time it returns positive, you tell the epidemiologist, and they prevent a few further infections …

It's not necessarily good engineering, it could also be selection bias. It depends on how much risk is added by cutting corners. If too many corners are cut, but it didn't fail jus…