colonelcanoe

16 ms·

1.
by colonelcanoe 5y ago
On what basis can you claim that exercise would prevent 100% of deaths?
2.
by colonelcanoe 6y ago
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 goo
3.
by colonelcanoe 6y ago
Maybe they asked the wrong questions, but I think that's the point of the questionnaire model.
4.
by colonelcanoe 6y ago
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, since that
5.
by colonelcanoe 6y ago
Do you need to know what's going on inside? Or can you trust a colleague who's responsible for that?
6.
by colonelcanoe 6y ago
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
7.
by colonelcanoe 6y ago
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 protein shape?
8.
by colonelcanoe 6y ago
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 bike. Giant
9.
by colonelcanoe 6y ago
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 implement a fair exchange. We considered doing that, but lik
10.
by colonelcanoe 6y ago
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 by investigating close personal contacts.
11.
by colonelcanoe 7y ago
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 engineering.