gf000
Joined 1 year ago
Joined 1 year ago
E.g. explorer.exe is not replaceable on windows so the display server and that is one software. (The kernel is NOT though, because it can surely run in a headless way). It's not that hard of a concept..
systemd-init has nothing to do with network resolution.
I don't think it's possible in the general case, it's way too complex for that. Sure for trivial examples it's trivial to claim one program is faster than the other, but can you really claim that your special allocator used in one place plus the extra argument used in calling that function is worth it without writing both options and measuring it? Like even measuring it is non-trivial, will it be inlined at the use site, how is it called, etc.
Frankly the amount of crying I have seen about systemd... and it's basically the most stable part of my Linux installs. Even though I really have seen everything else "catch on fire".
They should write a test and stash the fix they just wrote. In this state it should fail. Once they re-apply the patch, it should become green and this gave use enough information to deduce that the test does test something.
> 10^87 variables, a point where the proposed new method surpasses the already existing sat solvers
Yeah, it's not efficient in the ordinary sense.
I'm semi-sarcastic here, but this is actually possible now, while it was an often futile and very expensive roundtrip before AI resulting in two versions of your software that you have to simultaneously maintain.
If you put it in a sandbox than herdr can no longer see it, can it?