• 0 Posts
  • 67 Comments
Joined 2 years ago
cake
Cake day: January 5th, 2024

help-circle


  • Now, hold on a minute. I get what you’re doing and I like it, but I don’t think those first 2 examples work.

    Visual programming is programming. Were they really ever touted as not requiring programmers? I would think it’s just marketed as more intuitive and easier to use for certain applications, but users are still referred to as programmers. Let me know if I’m wrong. Side note: my first programming language was LabVIEW, a visual programming language, which I used in high school to program our robot for FRC. It is, for all intents and purposes, a fully-fledged programming language and requires a programmer to create code for it.

    MDA, honestly I don’t know much about it, but from the description in the image it sounds like it still requires someone to “write a universal model”… did they try to claim that that someone would not be a programmer?








  • No.

    A joke like this is funny once. The screenshot in the OP can be reshared endlessly (whether it’s real or not), and anyone trying to make another iteration of this joke is just spamming the project with useless noise. It makes work for maintainers.

    Fortunately it seems like this hasn’t been a problem in this particular repository, unlike the Linux repository which received endless spam before GH gave them the tools to block it. But if this becomes a trend, Arch might need to deal with dozens of joke issues per week, and there’s just nothing funny about that.

    Edit: just confirmed that the OP screenshot is fake, which is good. (Issue #4269 doesn’t exist yet and the number itself is two memes.)






  • That’s interesting. I’ll have to read up on that. You’re right, I am thinking about boolean algebra.

    In the mean time though, I’ll note that Boolean algebra on Wikipedia also refers to this operation, so I’m not alone:

    Material conditional

    The first operation, x → y, or Cxy, is called material implication. If x is true, then the result of expression x → y is taken to be that of y (e.g. if x is true and y is false, then x → y is also false). But if x is false, then the value of y can be ignored; however, the operation must return some Boolean value and there are only two choices. So by definition, x → y is true when x is false (relevance logic rejects this definition, by viewing an implication with a false premise as something other than either true or false).

    It also uses the second interpretation that I mentioned in my earlier comment (4 above this one), with true being default, rather than the one we’ve been discussing.




  • Yup, that’s my interpretation too. It just doesn’t sit well with all the other operators.

    All the others are phrased as direct questions about the values of A and B:

    • A AND B = “Are A and B both true?”
    • A OR B = “Are either A or B true, or both?”
    • A NAND B = “Is (A AND B) not true?”
    • A IMPLIES B = “Is it possible, hypothetically speaking, for it to be the case that A implies B, given the current actual values of A and B?”

    You see the issue?

    Edit: looking online, some people see it as: “If A is true, take the value of B.” A implies that you should take the value of B. But if A is false, you shouldn’t take the value of B, instead you should use the default value which is inexplicably defined to be true for this operation.

    This is slightly more satisfying but I still don’t like it. The implication (ha) that true is the default value for a boolean doesn’t sit right with me. I don’t even feel comfortable with a boolean having a default value, let alone it being true instead of false which would be more natural.

    Edit 2: fixed a brain fart for A NAND B