Contero · HackerTrans

Yeah re-reading the wording now I think you're right. It's this part that throws me off:

> could determine that, in the absence of any undefined behavior

"could determine that" based on the code example shown

vs

"could determine that" based on static analysis performed on some preceding code

It would have been a lot easier to wrap my head around if it were an example where cond could be 0 or 4 or something along those lines. It would really underscore the compiler's desire to reuse the cond as the index.

Contero

8 anni fadiscuss

> Consider the following example:

  if (cond) {
    A[1] = X;
  } else {
    A[0] = X;
  }

> A total license implementation could determine that, in the absence of any undefined behavior, the condition cond must have value 0 or 1.

> If undefined behavior occurred somewhere in the integer arithmetic of cond, then cond could end up evaluating to a value other than 0 or 1

I don't even follow this very first example. Neither C nor C++ have any requirement that their condition statements be given 0 or 1.

In C:

> the first substatement is executed if the expression compares unequal to 0.

In C++:

> The value of a condition that is an expression is the value of the expression, contextually converted to bool

Where conversion to bool is defined as:

> A zero value, null pointer value, or null member pointer value is converted to false; any other value is converted to true

I'm sure such a thing could occur if cond had a boolean type but contained uninitialized data. That would be similar to the situation talked about in this link: https://markshroyer.com/2012/06/c-both-true-and-false/

Contero

12 anni fadiscuss

I found it odd that the author seems to think that empathy for the individual is somehow at odds with caring for the many, instead of being closely correlated. As if removing empathy would somehow get people to care more about each other, rather than less.

Contero

13 anni fadiscuss

I would keep all the normal editing methods in place, but just add this as a friendly alternative for new users.

Contero

13 anni fadiscuss

What I think wikipedia needs more than anything is a new way to propose an edit without actually committing it, and to be able to solicit feedback or have others fix it for you before having it finally approved and submitted. It needs to be something where an inexperienced editor can make a good edit proposal without having to be completely versed in wikipedia's editing policies.

Talk pages are a horrendous way to implement this. Making an edit proposal should be extremely new-user friendly.

I think a proposal and dialog format would do a much better job at absorbing new content than what happens currently, which seems to be a revert if you run afoul of any editing policy.

Contero

13 anni fadiscuss

Making self-driving cars safer than people-driven cars is trivial. The hard thing will be handling the tidal wave of FUD when the inevitable happens and someone dies as a result of one. Google or Nissan or whoever will need a mountain of good PR and safety statistics to be able to push it back. That alone is enough reason to motivate the creation of "hyper-efficient safety mechanisms".

comments