dooglius

65 ms·

601.
by dooglius 6y ago
You could come up with hardware that does this for any aspect of the spec though. For instance, I could make an ISA whose ADD instruction was normal except that 2+2=5. Adding a check around each add instruction would certainly be very expen
602.
by dooglius 6y ago
The article you linked says that compilers can prove a lack of overflow in this example, so UB is not necessary to assume here. It also claims that the compiler cannot prove this in more complex examples (but gives no explicit examples). Wh
603.
by dooglius 6y ago
Why would it mean that? The compiler can still remove anything inside an if(0).
604.
by dooglius 6y ago
Presumably you meant to do something with arr[i] or the whole loop could be elided. I'm not sure I understand your point, what is the type of n? If it's something bigger than int that's a bug and should result in a warning.
605.
by dooglius 6y ago
Direct PDF link: https://uc3133356f3394d49f6cc6907502.dl.dropboxusercontent.c...
606.
by dooglius 6y ago
Or that COVID is getting priority over anything else and there were no COVID analyses that used the interconnect better
607.
by dooglius 6y ago
This is a dumb argument. The proposal was to add a new kind undefined behavior that breaks a bunch of existing code, and this is spun as not helping?!
608.
by dooglius 6y ago
There was a similar rule when I was at Microsoft: I'm paraphrasing, but we couldn't talk about beating the competition, we had to just frame things in a specific way.
609.
by dooglius 6y ago
It looks like almost everyone here thinks this is wrong and poorly argued (as do I). A meta question to ponder: why did this get upvoted to the front page? Is it that upvoters tend to not read the articles whereas commenters do? Do people u
610.
by dooglius 6y ago
https://en.wikipedia.org/wiki/Planarity_testing
611.
by dooglius 6y ago
That's not a good example because we (implicitly) make conclusions based on the very large background control group of people who rarely die.
612.
by dooglius 6y ago
Based on advance512's answer, it sounds that way.
613.
by dooglius 6y ago
I didn't realize Bloom filters were used in this way. Thinking adversarially for a moment, doesn't this provide an easy way to get a target website marked as a false positive?
614.
by dooglius 6y ago
Yeah, I think I just had a brain-fart moment there
615.
by dooglius 6y ago
Presumably, there was a fake BTC address to go along with that tweet? Otherwise I assume Musk would just return any money...
616.
by dooglius 6y ago
How exactly did you "browse Tor"? I don't really know how you could find e.g. the Silk Road unless you were specifically looking for drugs.
617.
by dooglius 6y ago
If you wanted to do something with a hardware root-of-trust, would the GDSII leak needed secrets (i.e. any private keys could be extracted by looking at what you're required to open up), or is that done in some special post-fab way?
618.
by dooglius 6y ago
Could just bring along a future copy of the bitcoin blockchain, though as a downside that would potentially give away other information about the future (what people become rich, etc) they may not wish to divulge.
619.
by dooglius 6y ago
Does the Illinois Biometric Information Privacy Act not already cover this?
620.
by dooglius 6y ago
You call it "lucky", but isn't it more likely that it was deliberately designed to be resolution-agnostic?
621.
by dooglius 6y ago
FPGA designs can be more specialized than GPU kernels, because FPGAs are more general than GPUs.
622.
by dooglius 6y ago
It does. Source: I tried to run it under Wine and got directed to a download-flash page.
623.
by dooglius 6y ago
https://archive.is/haMuY
624.
by dooglius 6y ago
I'm pretty sure it's a reference to https://www.youtube.com/watch?v=Qc7HmhrgTuQ
625.
by dooglius 6y ago
Yes, you are correct that you are essentially paying a premium, but the issue is less about the item's cost and more about the need for time investment and physical presence--correct me if I'm wrong, but it doesn't seem like
626.
by dooglius 6y ago
I think that's a bit uncharitable, I interpreted the phrase to mean "tried and, except in the very unlikely case that guilt cannot be proved, executed".
627.
by dooglius 6y ago
This is missing what in my opinion is the biggest reason: advertisers create perverse incentives where pages are rewarded based on visits and ad-clicks rather than quality of content. This results in extreme forms of clickbait, misleading e
628.
by dooglius 6y ago
If Google starts to censor emails containing certain content, which doesn't seem too far from reality at this point, then I would be much better at running a mail server than Google in the sense that I would get any mail that is sent t
629.
by dooglius 6y ago
If they are knowingly reselling dangerous out-of-spec parts, shouldn't that be an issue for law enforcement?
630.
by dooglius 6y ago
The problem is that this breaks with use of tmux or similar tools since the scope of the SSH session is often smaller than the scope of my doing something on a machine. I've moved to just having a limited-use key with access to dev mac

More ›