dooglius

14 ms·

241.
by dooglius 1y ago
I've edited/clarified the claim above. Parent did say "without you having a bug" and entering an UNPREDICTABLE state would be buggy code. Also, "maybe puts garbage data in a register" is not UB, it's a muc
242.
by dooglius 1y ago
I've edited my claim to be a bit more clear, however in the context of parent's claim we are talking about bug-free code on an non-buggy physical processor, and I think implicitly we are talking about user-mode code where one does
243.
by dooglius 1y ago
> If the compiler is required to make all code paths result in the same uninitialized value, that can limit code generation options Can you provide (on say x86_64) an example of this, other than the case where the compiler prunes cases
244.
by dooglius 1y ago
There is no UB in hardware registers or physical DRAM, I don't think you actually have familiarity with how the hardware works if you make this claim. (Or perhaps you aren't familiar with how crazy "UB" in the sense of t
245.
by dooglius 1y ago
I don't think it was ever a social taboo. PSAs and the morals in children's stories are intended aspirationally to change social norms rather than reinforce existing ones; you don't see PSAs about how you should wear clothes
246.
by dooglius 1y ago
It's not a silly piece of trivia, it's a completely different thing than what people think of as the "Nobel Prize", which is the set of prizes established by Nobel's will, not an unrelated prize named after him to l
247.
by dooglius 1y ago
I think we are in agreement? Odin works the way you describe, and GP in response expressed a preference that the compiler instead fail at compile time if it detected that memory had not been explicitly initialized; my response was to explai
248.
by dooglius 1y ago
Sure, but then not accepting many programs would be the answer to parent's question "why not"
249.
by dooglius 1y ago
> why not compile-time error for reading memory that hasn't been written https://en.wikipedia.org/wiki/Rice%27s_theorem?useskin=vecto...
250.
by dooglius 1y ago
No, tmux uses unix domain sockets. I have no idea why screen chose to take the setuid approach instead here; it seems totally unnecessary to have root privileges. EDIT: Further down, TFA gives a plausible explanation: the current screen dev
251.
by dooglius 1y ago
I am not a lawyer, but I'm assuming that if someone stockpiles for reading later (parent's scenario), without making the copies available to others at all, then that would be covered by the ruling since it's a subset of what
252.
by dooglius 1y ago
> Even as a human, you are not allowed to go to all libraries and bookstores in the world, copy their work, and stockpile it for reading later. You are allowed to do this https://en.wikipedia.org/wiki/Authors_Guild,_
253.
by dooglius 1y ago
"call out" as a metaphor doesn't apply to the discussing of a online newsletter on a separate site; neither the author nor other readers are likely to be aware of the discussion. It does seem very apt, if poetry were posted h
254.
by dooglius 1y ago
The surprising thing isn't that the signals exist or are picked up, but that the SnR is good enough to be able to support the level of confidence expressed in TFA.
255.
by dooglius 1y ago
The point of the comment you're responding to is not to justify it, the point is to rebut GP's assertion that the violence would have occurred anyway.
256.
by dooglius 1y ago
You might need an analysis class to verbalize things like that, but is it such a stretch to think that a typical woman might go notice these things implicitly/non-verbally?
257.
by dooglius 1y ago
I'm not sure quite what you're asking for exactly, given the link is for clang trunk and doesn't have the modifications discussed in TFA, and I don't dispute that clang does UB-based reasoning at -O3. But, I will argue t
258.
by dooglius 1y ago
Maybe this is just arguing semantics, but I don't agree with the definition you've given, and I don't think that your definition is what TFA means. "Exploiting undefined behavior" I think refers narrowly to the impl
259.
by dooglius 1y ago
>it's assuming that i wasn't laid out directly after arr in the stack frame The compiler isn't "assuming" that so much as choosing not to put i in the stack frame at all. And I don't think it's correct
260.
by dooglius 1y ago
Ah that's interesting, thanks
261.
by dooglius 1y ago
Why would it go wrong, the ABI is stable and independent of compiler? You would hit issues with C++ but not C. I have certainly built kernels using different versions of GCC than what /lib stuff is compiled with, without issue.
262.
by dooglius 1y ago
Can you provide more information on your claim? If I use a credit card in app A, what privacy-violating info can app B get?
263.
by dooglius 1y ago
People are usually going to go through `make`, I don't see a reason that couldn't be instrumented to (by default) acquire an upstream GCC vs whatever forked garbage ends up in $PATH
264.
by dooglius 1y ago
Zig is open source, so the analogy to Microsoft's EEE [0] seems misplaced. [0] https://en.m.wikipedia.org/wiki/Embrace,_extend,_and_extingu...
265.
by dooglius 2y ago
What's far more reasonable and does seem to exist are people who have values that are not the opposite, but weigh the tradeoffs differently. Take for instance someone who is on a diet vs the Grill Dad ideology: a person on a diet can c
266.
by dooglius 2y ago
How does this compare to Zig or Odin, which have the same goals of improving upon C and have gotten occasional publicity here on HN?
267.
by dooglius 2y ago
Ah, I meant comments rather than posts (and I think flagging posts has a different meaning since one cannot downvote posts) but it looks like comments are visible by adding `&kind=comment`. Anyway, the most recent comment I vouched is
268.
by dooglius 2y ago
That's fair from your perspective -- although the parent's question is what would subjectively satisfy me . I don't keep a log of such instances, and I don't see a way to view my vouched posts, but it is something I obs
269.
by dooglius 2y ago
I have `showdead` enabled. It should not be the case that I find flagged posts that are good -- that are well written, don't break rules, etc -- but are flagged (presumably) due to expressing a dissenting view.
270.
by dooglius 2y ago
That seems like a pretty mild controversy to me. How many people could even say whether their water has added fluoride?

More ›