Viewing profile — wilun

Those measurements inherently makes more sense than hand-waving; and although mathematically I agree with you, the world is not mathematically pure. Regardless, I stand that implyi…

Are you even trying? A random search tells me that "The mean DD for the studied sample of projects is 7.47 post release defects per thousand lines of code (KLoC), the median is 4.3…

If the only alternative is between a rewrite, and not-fixing the mess gradually, then I'll take the rewrite anytime and let the cycle continue. The problem is: is your rewrite real…

That's fair, but one has to remember that some of the key points are to be balanced, and that, like you said, "the quality bar needs to be high". And I'm more for prioritizing tryi…

Oh the good old IE argument "but it is technically integrated to the OS and providing all kind of essential services, so we are not abusing our monopoly" While it is not (can be re…

The meaning of "defensive programming" is highly contextual even within a given "field". Also, major influential parts of the industry (last example in date being the C++ committee…

> Only a debugger can show you the steps and conditions involved that lead to that invalid value. No. Static analysis can and is actually what is used most of the time. Either with…

While we probably will always have to debug, and if not the "code" it will be a specification formal enough so that it can be considered code anyway, there are different ways to ap…

Is it efficient and sufficient though? And can and do we build real security on top of it? This issue shows systems have been built for decades with blatant holes because it was no…

Posix TTY and more precisely stdin/stdout/stderr inheritance and internals of FD have a completely insane design. There is the famous divide between file descriptors and file descr…

The video is typically subsampled at encoding at capture resolution, but it is also subsampled at other encoding resolutions. Because the whole point of subsampling is to be taken …

I'm not 100% sure if you tried to be ironic or if you really reported that the video was better in 8k than FHD. Because actually, it can be. Although 8k is overkill, 4k will be eno…

> Tesla drivers have familiarized themselves with the limitations of the system and then one day you get an update that breaks your mental model you have been familiarized with, yo…

Stop spreading complete bullshit and go read https://en.cppreference.com/w/cpp/language/reinterpret_cast already. C++ has strict aliasing rules (probably even stricter than C) and …

I'm not entirely sure nVidia should be equated to the "game industry" in that regard.

You can not expect any consistency with UB.

> I believe our industry’s several decades of demonstrated inability to write concurrent code correctly disagrees with you. But mostly so for the reasons nurseries try to solve (an…

Given the "escape hatch", there is no difference to passing a thread pool object around (or referencing it otherwise), that would for ex join on destruction. And this is a valid ap…

That's an interesting tool, but merely among other. Not the next big things to structure thread usage. There are loads of problems if we wanted to generalize that solution as funda…

Well, you are right, it is not really "formal verification". But I don't know how to call it, and it is way more checked on some aspects (well, obviously, we are not talking about …

One can also not "known" of all the other side effect that will happen. Unless they are documented informally or encoded formally.

It's not only that Rust allows formal verification, it's that it does it by default, writing unsafe Rust code for no serious reason is fundamentally frowned upon, and even then the…

I found it still an interesting read, but I agree with you. The most important problem is: > Then our guarantee is lost: the operations that look like they're inside the with block…

The bounty is incredibly low.

Even HN readers are misinterpreting it, and there is nothing to prevent confusion from Tesla side on these marketing pages. The question of purposefulness is mostly irrelevant. It …