rcxdude

19 ms·

451.
by rcxdude 4mo ago
Better than that, you can get a bootstrapped rust from the Guix project, which has bootstrapped its entire system from source code from only a tiny verifiable binary.
452.
by rcxdude 4mo ago
The app can be open-source and verified to not be sharing extra info, though. Of course if no-one bothers to use the verifiable version of it, then it's all pointless, but this is true regardless (they could also just not use ZKPs).
453.
by rcxdude 4mo ago
Yeah, if the entities share data they'll share data, but ZKPs give a way to, in principle, verify that they cannot link two parts of that together by doing the verification. I'm not sure I understand your flow example though. If t
454.
by rcxdude 4mo ago
This is a big one, yeah. It looks like the current proposed system in the EU requires attestation that the relevant keys are stored in a certified HSM that will e.g. rate-limit the generation of keys. (I found a list of requirements for the
455.
by rcxdude 4mo ago
If you are controlling the middle part of the zkp (or at least can validate it), then identification should not be possible through the zkp even if the attestor and and site collude with each other (they could maybe collude based on some ot
456.
by rcxdude 4mo ago
AFAIK, If the scheme is designed properly, then no. The attestor only knows who they have issued certificates to and the verifier only knows that they have a user that has been verified by that user. Neither the attestor or the verifier can
457.
by rcxdude 4mo ago
As I understand it, ZKPs can prove both those properties. You can get a certificate from whoever is trusted to verify that you're over 18, and then you can use that to generate tokens that only encode the information 'X has verifi
458.
by rcxdude 4mo ago
And also, crucially, that the government does not get to know what platforms you are visiting. (the process goes: you get a certificate for certain facts, then your 'ID wallet' generates a ZKP itself that can prove that you have a
459.
by rcxdude 4mo ago
This is bad largely due to the effect on individuals who may find themselves banned from such services with no due process. As a threat to the EU's sovreignty as a whole it's one of the easier things to move away from if it gets w
460.
by rcxdude 4mo ago
That kind of thing is very much a nuclear option, though. Firstly because the state that does it needs to be very confident it can operate the asset it seizes without overseas support, and secondly because doing so tends to be bad for busin
461.
by rcxdude 4mo ago
There are a ton of amazing games that people still enjoy today that would be essentially impossible to get ahold if they were only available through DRM'd digital downloads. I agree the physical media is more of a nostalgia thing in pr
462.
by rcxdude 4mo ago
Then you spend a bit of time fixing it. With the right stack, these things are rare and not often difficult to resolve.
463.
by rcxdude 4mo ago
I think they're being sarcastic (the implication being they want their competitors using the worse models)
464.
by rcxdude 4mo ago
It might be a general priority of management but it's often a less salient issue day-to-day. Putting in such an incentive can be a good way to make sure it does get prioritized despite this.
465.
by rcxdude 4mo ago
You should probably view anything meta does through the same lens. They can make great tech but they utterly ruin it with their creepiness.
466.
by rcxdude 4mo ago
You can also fit multiple trains in that 2-wide space, though. The flexibility of a train network is pretty powerful.
467.
by rcxdude 4mo ago
An emphasis on perfect attendance can be harmful, though, if it means students come in when they are sick and spread it to the rest of class.
468.
by rcxdude 4mo ago
>Does this vector contain a world model? Some form of thoughts or reasoning to arrive at the result? That's an open question really. It is, but it has been explored in various forms. Anthropic have some interesting papers where they
469.
by rcxdude 4mo ago
This is true, but I'm not gonna shout you down as a liar for such a statement either, unless I had some evidence to the contrary.
470.
by rcxdude 4mo ago
What's so utterly unbelievable about this story? Like, almost none of it is surprising at all.
471.
by rcxdude 4mo ago
Nope, AV hooks into the filesystem layer (the NT kernel has 'filesystem filters' for this) and intercepts all reads and writes on the system.
472.
by rcxdude 4mo ago
> Accurate, as in weigh yourself, pick up a 1lb object, weigh yourself again and see an extra pound. That's resolution (or dynamic range), not accuracy. The scales could be 10lbs off of your weight and still do this.
473.
by rcxdude 4mo ago
Yeah, the bandwidth requirements quickly become very high. With modern internet connections you could maybe keep up with an old-school RTS.
474.
by rcxdude 4mo ago
It's not impossible, it's just a question of if it's worth the effort. Factorio was kind of forced into it, because a) they built a save system before they went multiplayer, and b) it's impractical to replay a factorio s
475.
by rcxdude 4mo ago
Unused abstractions are tech debt, whether they were previously used or (even worse) never used. They constrain and complicated the addition of other features and abstractions within the code. It's almost always easier to start with a
476.
by rcxdude 4mo ago
Sunscreen isn't a 100% block, though. In fact it's advertised by what proportion of the UV it blocks. And in general it's far more common to have too much sun exposure than too little, and in the areas where people have too l
477.
by rcxdude 4mo ago
Save files are not just memory dumps, you need to have a serialisation/deserialisation mechanism for the game state. But this is not generally a viable way to do RTS multiplayer, so you either need to build both a save game system and
478.
by rcxdude 4mo ago
The main thing is that synchronizing the state is hard: with hundreds of units and low latency being important, there's big advantages to having a deterministic simulation and relaying the player's commands instead of the whole ga
479.
by rcxdude 4mo ago
Not all RTS have such a big emphasis on micro: TA-type RTS tend to have mechanics that try to avoid a huge amount of micro being required (though, in any RTS, there is still some advantage to be gained from it).
480.
by rcxdude 4mo ago
>Why does it take others so long to see the same thing? What thing, exactly? To me systemd has done what it has set out to do and I quite like it for it (not that it's perfect in every respect, but it's in general a welcome imp

More ›