wilun

9 ms·

1.
by wilun 8y ago
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 implying that it would be exceptional to be able to write 100 line
2.
by wilun 8y ago
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 with a standard deviation of 7.99." ( https:&#x2
3.
by wilun 8y ago
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 really going to be a full-rewrite, or some kind of hybrid m
4.
by wilun 8y ago
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 trying to not introduce bugs than to fix all
5.
by wilun 8y ago
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 removed/replaced, the limitations preventing to
6.
by wilun 8y ago
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) are moving away from indistinct checks
7.
by wilun 8y ago
> 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 an automated tool, or with your brain. Of course debuggi
8.
by wilun 8y ago
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 approach its role within the lifecycle of software d
9.
by wilun 8y ago
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 not taken into account in even core os admin tools. There is t
10.
by wilun 8y ago
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 descriptions. Hilarity can and will ensue in tons of do
11.
by wilun 8y ago
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 into account during encoding, and encoding itself needs no
12.
by wilun 8y ago
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 enough, and 1440p nearly ok on your old 1024x768 monitor.
13.
by wilun 8y ago
> 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, your Tesla crashes and you die.
14.
by wilun 8y ago
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 reinterpret_cast can do abso
15.
by wilun 8y ago
I'm not entirely sure nVidia should be equated to the "game industry" in that regard.
16.
by wilun 8y ago
You can not expect any consistency with UB.
17.
by wilun 8y ago
> 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 (and actually manage to somehow solve some)? I'm not
18.
by wilun 8y ago
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 approach. But pretending that this should be the o
19.
by wilun 8y ago
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 fundamental, and a quick review of the state of the art (o
20.
by wilun 8y ago
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 checking each program against a spec...) th
21.
by wilun 8y ago
One can also not "known" of all the other side effect that will happen. Unless they are documented informally or encoded formally.
22.
by wilun 8y ago
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 there is a serious effort to bring some tooling to br
23.
by wilun 8y ago
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 might actually keep running after the with block en
24.
by wilun 8y ago
The bounty is incredibly low.
25.
by wilun 8y ago
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 is their responsibility to avoid ambiguity in this domain be
26.
by wilun 8y ago
And yet that is quasi criminal (from an ethical pov) that they have worded it that way for 2 reasons: a. When you buy a car why should you even care about that hw/sw distinction, and more importantly do you have the distinction in mind
27.
by wilun 8y ago
You can add safety automated features without requiring completely insane and dangerous mode of operations (like pretending the car can drive itself except that it can not and pretending that you did not pretend in the first place and remin
28.
by wilun 8y ago
Yes but Apple has an edge compared to other ARM (and that's what we've been discussing about in the first place) and comparing the CPU speed of an energy optimized phone SoC to an high end desktop core is absolutely not representa
29.
by wilun 8y ago
I've got a recent XPS15 with an i7 that is way more efficient than a few years old T530 with an i5. You want power efficiency when you don't load the computer much, while you might also want to be able to load it a lot to get e.
30.
by wilun 8y ago
In their conference they presented that shit part of their VR strategy or similar completely insane BS. In the same vein, I don't know what they intent to mean by their AI division (esp as a platform, service, whatever) and probably ne

More ›