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 is much less overhead, so it's good to…
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 so if it's viable as a business venture,…
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 the room shares that birthday. It's a…
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 it is to experimentally determine the…
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 about as much as the discount on a DTC…
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 just due to luck, it's still bad…
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 is much less overhead, so it's good to…
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 so if it's viable as a business venture,…
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 the room shares that birthday. It's a…
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 it is to experimentally determine the…
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 about as much as the discount on a DTC…
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 just due to luck, it's still bad…