mike_hock

7 ms·

121.
by mike_hock 5mo ago
No, that's usually to decrease the number of bugs and vulnerabilities.
122.
by mike_hock 5mo ago
> moving complexity from the more formal and deterministic world of programming languages to the informal and non-deterministic world of natural language It's like using a compiler that generates semantically different code every ti
123.
by mike_hock 5mo ago
The thing with the flexible trailing array member is a C++ design flaw. Now the fix wouldn't be to allow those "flexible arrays" in C++, at least not the way C has them, but it should have a concept (not that kind of concep
124.
by mike_hock 5mo ago
I mean, you can obviously just draw to your own in-memory framebuffer that you never erase and then copy that to the physical backbuffer every frame. But there's no point in doing it that way when you can easily afford to re-render eve
125.
by mike_hock 5mo ago
> core tenant And Lady Mondegreen.
126.
by mike_hock 5mo ago
> You’ve read your last free article.
127.
by mike_hock 5mo ago
That means you get a free clock cycle every 2-3 hours on top of a mountain compared to sea level!
128.
by mike_hock 5mo ago
Uh ... working around this in each and every piece of software sounds like a non-starter? Intel should be on the hook to fix this.
129.
by mike_hock 5mo ago
Can I commit manslaughter now and pay a one-digit percentage of my income as a fine?
130.
by mike_hock 5mo ago
No, because that doesn't mean anything. All the other guarantees the compiler has to make about the other parts of your program have potentially been violated by the write, so the compiler can't guarantee any particular behavi
131.
by mike_hock 5mo ago
So yes, pessimize each and every access. No, that's not acceptable. And no, just because the compiler can get rid of some of the alignment checks where static analysis can prove that the pointer is aligned doesn't cut it. Yes, m
132.
by mike_hock 5mo ago
> There's no one correct way to parse integers. No, but there are a myriad of incorrect ways and the C library's way is one of them. It's perfectly fine to make reasonable choices for all those options and then implement t
133.
by mike_hock 5mo ago
The problem is that float parsing is highly non-trivial if you want it to be correct for all edge cases. For integers, you're faster (in both development time and runtime) to write your own parser than to try and assemble the pieces in
134.
by mike_hock 5mo ago
> If some architecture traps on unaligned access, then the compiler can and should simply generate the correct code so that it loads the integer piece by piece instead. LMAO what?! The compiler should pessimize each and every memory acce
135.
by mike_hock 5mo ago
> A clear majority of the UB problems with C could be fixed if the standards committee slowly moved all UB into IB There is no such thing as getting rid of "all UB." What behavior is the implementation supposed to prescribe for
136.
by mike_hock 5mo ago
> But now we're realizing we need to be more exact with our requirements and define things better. That's why we write programs in programming languages and not English. Because they are much more efficient at giving precise in
137.
by mike_hock 5mo ago
The care from day one on.
138.
by mike_hock 5mo ago
This is also a) trivial to bypass by adding dither to the test transactions and b) trivial to improve upon with proper statistical analysis and c) shouldn't this kind of heuristic pattern recognition with no expectation of near-100% ac
139.
by mike_hock 5mo ago
If you think you can let AI write code without double checking you have AI psychosis. If you prefer reviewing AI-written code over writing it yourself, you just have odd preferences from my perspective (but not psychosis).
140.
by mike_hock 5mo ago
Similarly, if you are a random person being alive, it likely means that the world population is near its peak and extinction is at hand, or at least the start of a permanent decline. We have at least global warming and impending WW3, so tha
141.
by mike_hock 5mo ago
"Tor has been successfully deanonymized" = "There are documented cases of successful deanonymization attacks." https://www.schneier.com/blog/archives/2013/12/tor_user_iden... https:&
142.
by mike_hock 5mo ago
And I thought he was just a senator.
143.
by mike_hock 5mo ago
No, because I don't keep a list of every article I've read over the past decade or so, but there were multiple busts where a regular law enforcement agency (FBI and their international counterparts) were able to prove the identity
144.
by mike_hock 5mo ago
It has been successfully deanonymized, and resistance to NSA-level capabilities is explicitly not a stated goal.
145.
by mike_hock 5mo ago
Do continue.
146.
by mike_hock 5mo ago
Do you want a job at a place where someone who doesn't understand UB makes the hiring decisions?
147.
by mike_hock 2y ago
One practical outcome is that IPv4 provides the privacy IPv6 was designed to sabotage. I'll be boycotting IPv6 for as long as it's possible.
148.
by mike_hock 2y ago
To maintain any kind of project, you need a set of inputs that a human can understand and manipulate to produce desired results, and a build chain that reproducibly produces output from the inputs. The inputs were traditionally source code,
149.
by mike_hock 2y ago
A Reddit exodus to Digg would truly be ironic.
150.
by mike_hock 2y ago
CSS?

More ›