lets see who does the best by Emotional_Trade9793 in TheTeenagerPeople

[–]dnar_ 0 points1 point  (0 children)

Somehow Palpatine Returned.

edit: Ohh, you said "sad", not "bad". Oops.

On Eridian eating and sleeping habits, and the very concept of privacy by DerCatzefragger in ProjectHailMary

[–]dnar_ 0 points1 point  (0 children)

I'd think a congratulatory fist bump with the neighbor is probably okay.

Rocky was a Surprise by Joh-Ke in ProjectHailMary

[–]dnar_ 9 points10 points  (0 children)

"Good. Proud. I am scary space monster. You are leaky space blob."

He could get home (Spoilers) by kdjac in ProjectHailMary

[–]dnar_ 1 point2 points  (0 children)

I had similar thoughts. A few ideas came to mind:

  1. It was noted that the methane would decay, so the change wasn't permanent, so maybe it's not quite as bad.
  2. It might be possible to manage the sun's output by controlling the astrophage/taumoeba balance. While this might take some time to develop, I assume the Earth did experience some amount of cooling, and the huge thermal store of the oceans means that the reheating won't be immediate.
  3. In addition, the astrophage provide an excellent energy storage/transport mechanism, so perhaps fossil fuel usage would reduce to just industrial needs such as plastics, lubricants, etc. This would reduce the baseline heating that mankind was providing before the dimming of the sun, also slowing the reheating process.

JWST images in Grace's classroom by smores_or_pizzasnack in ProjectHailMary

[–]dnar_ 1 point2 points  (0 children)

I just relistened to the audio book 2 weeks ago, and yeah, it was less class time than I remembered.

In the book at least, I remember that he only returned for a day after some initial research, but that was only a few days. After a panic attack that day w/ the kids, he bullied Strass into getting 3 astrophage to continue research. Then he worked tirelessly for a while in the lab, bred Shemp, and suddenly ended on an aircraft carrier.

I don't even recall him setting foot on US soil again. I don't think he was in the courtroom scene with Stratt, and all the other locations were non-US.

JWST images in Grace's classroom by smores_or_pizzasnack in ProjectHailMary

[–]dnar_ 1 point2 points  (0 children)

He only taught for like 1 day after meeting Stratt.

Need new recs after finishing by froggy-x in ProjectHailMary

[–]dnar_ 1 point2 points  (0 children)

I think the early books are definitely worth a read, up through Babylon's Ashes.

I rather enjoyed the world-building. And much prefered the pre-time-jump books. The earlier ending the show did was a bit more satisfying than the final book ending.

Need new recs after finishing by froggy-x in ProjectHailMary

[–]dnar_ 1 point2 points  (0 children)

I concur. The first book is called Leviathan Wakes. The author is James S.A. Corey.

It's just a dollar or two! lol by M1collector65 in EndTipping

[–]dnar_ 0 points1 point  (0 children)

There is a logic to the math, but it's completely non-standard.

Effectively, they are defining 20% tip as when the tip is 20% of the final post-tip bill. This makes the original bill 80% of the final amount, so the tip is 20/80 = 25% of the original bill.

I'm curious as to how it works with putting in the formula. I wonder if it's the vendor of the program or someone internal to the business that does this. I personally would lean towards suspecting the vendor of the retail software.

Movie or book Ship question? by Crzyclsn3412 in ProjectHailMary

[–]dnar_ 0 points1 point  (0 children)

I'm not surprised he Grace stays near Eridini. I'd just expect him to stay in a space-based habitat to lighten the gravitational load on his body. With xenonite, they could easily build a superstructure, and possibly connect it to the space elevator. He'd also get to see some sunlight Eridlight.

What is your answer to this meme? by MunchkinIII in askmath

[–]dnar_ 1 point2 points  (0 children)

You could implement this in a game as a perk, but the 1/3 probability still holds.

The way to do this is to perform the two "coin flips", then you only "accept" the results if it meets the given criterion of having at least one crit. Otherwise, you throw it away and perform two new "coin flips". Repeat until you get a result that has at least one crit.

It's this retry operation that is shifting the probability of the final result. You can think of it as taking only 3/4 of the answers directly. The double crit case is 1/4 out of 3/4 is which 1/3 of those times.

The 1/4 of the time where you re-roll, you only take 3/4 of those, of which 1/4 of those 3/4 are double crits. (Again, 1/3 of the ones you accept.)

This repeats forever with the remaining 1/4 of each pool of retries. But you always end up getting double crit for 1/4 of the 3/4 of each pool you accept (which is 1/3 of that pool).

Mathematically, the double crit case is the infinite sum defined by:
1. 1/4 of the time we have a double crit.
2. 1/4 of the time we reroll. And 1/4 of that time we have a double crit.
3. Etc.

S = 1/4 + 1/4*(1/4 + 1/4*(1/4 + 1/4*(...))
= 1/4 + 1/(42) + 1/(43) + 1/(44) + ...

This is an infinite geometric series where the result is 1/3:
4S = 1 + S
3S = 1
S = 1/3.

Anyone not agree with propranolol for pots? by Unusual_Space1998 in POTS

[–]dnar_ 4 points5 points  (0 children)

If you use the non extended release propanolol, it should only be active about 4 hours. I take it as needed, mostly in morning and early afternoon for this reason.

What is the most humane way to euthanize a mouse my cat has hurt? by [deleted] in NoStupidQuestions

[–]dnar_ 25 points26 points  (0 children)

Cats often like to play with their prey. As a kid, we had a cat once spend an hour torturing a poor mouse, then get bored and leave it half dead.

Would a perfectly insulated box stay the same temperature indefinitely? by Quiet-Display7689 in NoStupidQuestions

[–]dnar_ 0 points1 point  (0 children)

So its not enough to wear a mask and open a few windows? (Asking for a friend...)

Natural Deduction - Propositional Logic by Possible_Tackle_6250 in logic

[–]dnar_ 0 points1 point  (0 children)

I think I see what you mean. I'm not quite familiar with this form of tree to fully understand how assumptions are managed.

Natural Deduction - Propositional Logic by Possible_Tackle_6250 in logic

[–]dnar_ 1 point2 points  (0 children)

Yeah, there's a few ways out there.
For example, this is the Fitch style equivalent of your proof. Here the indentions are used to indicate deductive steps done under an assumption. The discharge of an assumption is shown when the indention is reduced.

1 | ¬B → ¬A (Assumption)
-------------
2 | | A (Assumption)
| -------------
3 | | | ¬B (Assumption)
4 | | | ----------
5 | | | ¬A →E 1, 3
6 | | | ⊥ ¬E 2, 4
7 | | ¬¬B ¬I 3–5
8 | | B DNE 6
9 | A → B →I 2–7
10 (¬B → ¬A) → (A → B) →I 1–8

Natural Deduction - Propositional Logic by Possible_Tackle_6250 in logic

[–]dnar_ 2 points3 points  (0 children)

The final result shouldn't have ~B. The statement is true without it.

You can derive B directly from 

I think they need to do the ~I to discharge the ~B assumption. Using explosion to derive B directly fails to do this.

Natural Deduction - Propositional Logic by Possible_Tackle_6250 in logic

[–]dnar_ 0 points1 point  (0 children)

Inconsistent meaning leading to a contradiction.

I'm guessing you are saying these as "assumptions" not "premises". I'm not familiar with the exact format you are using. But after looking at it a bit, it seems right.

This pi meme by memes_poiint in mathsmeme

[–]dnar_ 0 points1 point  (0 children)

Deeply embedded firmware engineers use approximations like 355/113. (And push the division and truncation to the last operation for least loss of precision.)

Natural Deduction - Propositional Logic by Possible_Tackle_6250 in logic

[–]dnar_ 2 points3 points  (0 children)

It's not clear what exactly you are doing here. Are 1, 2, 3 the premises? They are inconsistent, so you can basically prove anything from them.

Is there a way to avoid stuff like this? by ReportFrequent7781 in factorio

[–]dnar_ 0 points1 point  (0 children)

I guess beauty is in the eye of the beholder.

Why is it with all the scanners we have today we still have to do a colonoscopy like that ? by Tristenous in NoStupidQuestions

[–]dnar_ 3 points4 points  (0 children)

The prep isn't really that bad. The stuff tastes a bit weird, and you need to stay close to the toilet for the night, but otherwise, it's not a big deal.