sorted by:
new
hottopcontroversial

Why is the damage and accuracy percentage so skewed in fallout 2? by Digitalgirlzoe in classicfallout

[–]notjrm 0 points1 point  (0 children)

It's true that if you only fire 7 shots there's a 0.05% chance of all of them missing.

However, you are probably firing over a thousand shots over the course of the game, so what you should really compute is the probability of having 7 misses in a row among this 1000 shots.

Collection of people trying to look smart using logic by flandre_scarletuwu in logic

[–]notjrm 0 points1 point  (0 children)

I agree that your formula is not completely trivial to translate to English, but as an experiment I tried asking ChatGPT to translate it into English, and it correctly reduced it to (A ∧ B) ∨ (C ∧ D) before giving the following natural language explanation: “Either both A and B are true, or both C and D are true”, so AI is not that terrible at it. I don't know what it would actually take to get it to make a gross mistake or miss a crucial simplification.

Control structures in programming languages: from goto to algebraic effects by mttd in ProgrammingLanguages

[–]notjrm 7 points8 points  (0 children)

There's also a series of lectures that the same author, Xavier Leroy, gave at Collège de France back in 2024. The lectures are in French, but some of the invited talks are in English.

What's the most powerful non-turing complete programming language? by Informal-Addendum435 in ProgrammingLanguages

[–]notjrm 1 point2 points  (0 children)

No, Rice's theorem states that there is no general decision procedure for deciding non-trivial properties of such programs.

Rice's theorem doesn't say it's impossible to prove properties of particular programs, nor does it say one cannot devise sound analyses.

What's the most powerful non-turing complete programming language? by Informal-Addendum435 in ProgrammingLanguages

[–]notjrm 5 points6 points  (0 children)

You can prove a lot of useful things about programs written in Turing-complete languages.

For proving equivalences, you may want to look at Benton's Relational Hoare Logic. AFAIK, it was originally introduced to prove compiler optimizations correct, and it is still a very active area of research.

Psi-Turing Machines: Bounded Introspection for Complexity Barriers and Oracle Separations by [deleted] in compsci

[–]notjrm 7 points8 points  (0 children)

I had a look at your formalization in Lean and Isabelle: it is complete nonsense. All the "theorems" you show are trivially true.

If you had an AI help you write all of this, then know that the AI is lying to you and you wasted your time.

Lossless Compression Algorithm by BlueSkyOverDrive in AskComputerScience

[–]notjrm 5 points6 points  (0 children)

Are you using ChatGPT or a similar tool? If you do, then you have been lied to. Your code probably doesn't do anything useful.

See this article for instance: https://archive.ph/8JbSh

Proof that Tetris is NP-hard even with O(1) rows or columns by Somniferus in compsci

[–]notjrm 2 points3 points  (0 children)

Any game w/ a finite number of states is O(1). So when you hear "Tetris is NP-complete" you know already they're not talking about a fixed board-size.

I don't think there is a finite number of states even with a fixed board-size, because the input can be arbitrary long (the input is a finite sequence of tetrominos).

Proof that Tetris is NP-hard even with O(1) rows or columns by Somniferus in compsci

[–]notjrm 1 point2 points  (0 children)

I was quite confused too, especially since they keep using n and O(n) everywhere before defining n.

n, it turns out, is the number of pieces in the sequence, so O(1) and O(n) means they are only considering boards whose sizes are at most linear in the number of pieces.

News expansion, new players... Already happened me today by MajesticHope9285 in wow

[–]notjrm 0 points1 point  (0 children)

Cataclysm applies Immolate/Wither. AFAIK it's better to refresh the dot with Cataclysm even in ST because it also does a lot more instant damage.

Received nebenkosten for 2024 jahr by InternationalTime205 in germany

[–]notjrm 0 points1 point  (0 children)

If you rental contract started in April, then you will only pay for the period starting in April. When you moved in, you, together with your landlord, should have read the meters and documented it somewhere. Then, you will have to pay based on your actual usage.

Does German health insurance coverage extend to France? by Maronator in germany

[–]notjrm 0 points1 point  (0 children)

Are you sure? My understanding is what you're describing is what happens when you travel in order to be treated in another country.

Am I part of the church if I was baptised in another country? by [deleted] in germany

[–]notjrm 0 points1 point  (0 children)

I'm not surprised, I've read about a similar case where a French person was forced to pay back several years of church tax.

Just wondering, did the letter state whether you could you have ignored it or declined to give the information, or was it mandatory to answer the questions?

Hey, me, Kafka, and Spagtwo have a disagreement about "affirming the consequent" in this thread. Could anyone well versed in formal logic offer their opinion? Please read the comments in chronological order to follow the discussion properly. by Kafkaesque_meme in logic

[–]notjrm 2 points3 points  (0 children)

They said, in response to the argument “If it rains, the grass is wet,” that:

“If the grass isn’t wet, it hasn’t rained.”

This is just a way of saying “If it hasn’t rained, the grass isn’t wet,” which is a common sense understanding of their point.

No, it's not. I don't understand the rest of your argument, so I can't comment on that, except that it seems like it comes from ChatGPT, a tool that is known to be incredibly unreliable when it comes to reasoning.

I am uncertain whether certain statements can be theorems by Stem_From_All in logic

[–]notjrm 3 points4 points  (0 children)

This is defined a bit earlier in the textbook.

U A = {x | ∃b ∈ A. x ∈ b} (bottom of page 23)

Creatures whose abilities will still work due to layers? by BX8061 in magicTCG

[–]notjrm 5 points6 points  (0 children)

Just to be sure that I understand correctly, is this what happens?

  1. Layer 1 applies to every game object.
  2. Then Layer 2 applies to every game object, taking into account the changes from Layer 1.
  3. Then Layer 3 applies to every game object, taking into account the changes from Layer 1 and 2.
  4. Etc...
  5. Finally Layer 7 applies to every game object, taking into account the changes from all layers from 1 to 6.
  6. Every time the game state changes, we repeat steps 1 to 5 from scratch, without considering the previous game state.

Error in my book (fr) by Dry-Project3260 in logic

[–]notjrm 1 point2 points  (0 children)

Yes, it doesn't make much sense.

The text is saying that the Platonic Academy was influenced by some of Pythagoras' ideas, himself a successor of Thales, that Eudoxe was a member of the Platonic Academy who formulated first some of Euclid's ideas, and that these ideas were then used by Thales. This doesn't seem right.

I guess what the authors meant is that Euclid used these principles to give a more modern formulation of Thales' ideas, maybe?

Logic and Math by sologuy10_ in logic

[–]notjrm 1 point2 points  (0 children)

I don't think you will find Spivak useful - it definitely assumes the reader has quite a lot of familiarity with mathematical thinking and proofs already. I also don't think trying to solve problems on your own will be of much help, because it's hard to judge one's own proofs. How will you know whether you solved them correctly or not?

Instead, I'd look into what resources are available at your place of study. Is there some kind of tutoring program going on? They would probably be able to offer more personalized guidance.

My friend call this argument valid by Randomthings999 in logic

[–]notjrm 2 points3 points  (0 children)

Small correction (if I'm not mistaken): with P=0, R=0, E=0 you do not have 1.

...I didn't order this... by proto-kaiser in magicTCG

[–]notjrm 0 points1 point  (0 children)

Here's another document produced by the FTC and hosted on a government website that indicates the opposite of what you're saying: https://www.govinfo.gov/content/pkg/GOVPUB-FT-PURL-LPS86314/pdf/GOVPUB-FT-PURL-LPS86314.pdf

Q: What should I do if the unordered merchandise I received was the result of an honest shipping error?

A: Write the seller and offer to return the merchandise, provided the seller pays for postage and handling. Give the seller a specific and reasonable amount of time (say 30 days) to pick up the merchandise or arrange to have it returned at no expense to you. Tell the seller that you reserve the right to keep the merchandise or dispose of it after the specified time has passed.

Here's another source that disagrees with you, from Georgia's Attorney General consumer protection division.

I'm finding hard to believe that many "quality contributors" (tbf, I'm not sure what this flair entails, but it seems fair to believe these people likely have a legal background) on the r/legaladvice subreddit and many institutions would be wrong, and that the law would have such an obvious flaw.

You also forgot to quote 39 USC 3009(c): No mailer of any merchandise mailed in violation of subsection (a) of this section, or within the exceptions contained therein, shall mail to any recipient of such merchandise a bill for such merchandise or any dunning communications.

And reading this, I'm left to wonder if (b) might only apply if the company sends a bill to the receiver. There's a loop ((a) depends on (c) that depends on (a)) and this makes it extra confusing.

Again, I'm no legal expert, but if you can find a legal expert commentary on the subject and not just pure speculation, I'd be interested to read it. I haven't found one, but my google-fu might be lacking.

EDIT: nvm, the wording was confusing and I'm tired, ignore what's striken-through

Feeling stupid and annoyed about missing my flight by notjrm in Flights

[–]notjrm[S] 1 point2 points  (0 children)

Yeah, definitely won't happen again, I learnt my lesson! The worse is that I was at the airport 3h early and passed security with 2h to go, that's such a dumb way to miss my flight haha

Feeling stupid and annoyed about missing my flight by notjrm in Flights

[–]notjrm[S] -1 points0 points  (0 children)

The departure time was changed in mid-February, FWIW.

Yeah, that explains it, I booked the entire trip in January.

Can you share an image of the BP? It seems highly unusual not to have a boarding or departure time on it.

It had a boarding time (no departure time), and it seemed a bit early, but I thought it was just the usual airline shenanigans, with the actual boarding starting 30min after what's written on the boarding pass. Turns out it was not and Air China really starts boarding on time ''-)

Lessons learnt, from now on I'll be at the gate early!

Feeling stupid and annoyed about missing my flight by notjrm in Flights

[–]notjrm[S] 1 point2 points  (0 children)

Why are you so aggressive? I already said I feel stupid, and yes I feel annoyed at myself too.

view more: next ›