wizeman

45 ms·

331.
by wizeman 5y ago
0.939 here. I wonder who has the lowest top similarity score (pg has 0.88)!
332.
by wizeman 5y ago
How do they know that it's not the neurons who are themselves slowly drifting position over those timescales?
333.
by wizeman 5y ago
So, in Nix (and in NixOS) there is no /bin and there is no /usr/share. So either A.res gets installed at /nix/store/abcdef-A-1.0/share/A.res and at /nix/store/xyw123-A-1.1/share&#x
334.
by wizeman 5y ago
Nix doesn't work by redirecting symlinks, much less between different versions of the same package. So there is no race condition as you describe. Simply, if package A depends on package B then A's files will end up mentioning the
335.
by wizeman 5y ago
Presumably, by publishing the hash on a public blockchain they are creating a trusted record of when the hash was published, which can be verified after the fact and which cannot be modified or removed, with planet-scale proof-of-work lev
336.
by wizeman 5y ago
While what you say makes sense superficially, I think you are not considering the possibility that the worlds interact with each other. Notice that in the double-slit experiment, the wave function at different places interacts with itself s
337.
by wizeman 5y ago
I'm not a physicist so I could be wrong, but I think Bell's theorem assumes there is only one outcome for each measurement. If there can be many outcomes, like the Many Worlds Interpretation suggests, then I think there is the pos
338.
by wizeman 5y ago
Look into linear feedback shift registers, they are very simple and can produce random-looking permutations.
339.
by wizeman 6y ago
If I understood you correctly, then I am not confusing those two things. Maybe you haven't noticed but I actually wrote a theorem about a hypothetical verify_certificate() function in my previous comment. Maybe you also haven't no
340.
by wizeman 6y ago
> That's just an argument for better testing. That's not implementation verification. No, I'm not talking about testing, I'm talking about really basic formal verification: forall (x: Certificate), verify_certificate(
341.
by wizeman 6y ago
Well, sure, if your start with those premises, then I'm not surprised that you reach the conclusion that the goal is unachievable. First of all, if constructing a formal specification for PKIX is not possible, then that should be telli
342.
by wizeman 6y ago
> Formally verified against what? and what assumption were made? Well, tell me again, what is OpenSSL formally verified against? What assumptions were made in OpenSSL? Formal verification does not eliminate very large classes of bugs onl
343.
by wizeman 6y ago
Not if the implementation is formally verified, like miTLS [0] and EverCrypt [1]. Parts of the latter were integrated into Firefox, which even provided a performance boost (10x in one case) [2]. I think what is needed is something like Ever
344.
by wizeman 6y ago
Maybe that would stop this specific malware, but I'm guessing they could adapt and start incorporating a lightweight (SPV) node which can connect to the P2P bitcoin network and keep track of the transactions associated with a specific
345.
by wizeman 6y ago
I've been using FairEmail (from F-Droid) and it works extremely well. Looks better and seems more reliable to me.
346.
by wizeman 6y ago
Sorry for being confrontational before, I was upset but shouldn't have lashed out. I will try to answer your points to the best of my ability. > Even if you get it this energy from renewable resources these resources will still go i
347.
by wizeman 6y ago
Yes, bitcoin is much more mainstream this week than last week </s>. My experience is exactly the opposite, I think most people don't understand bitcoin at all (or monetary systems, for that matter). For example, you say that
348.
by wizeman 6y ago
Wow, bitcoin bashing is getting really strong here this week, isn't it?
349.
by wizeman 6y ago
> That's more keys to keep up with that could be lost. More keys to keep up? I don't think you understand how wallets work... You can trivially generate 100 ethereum addresses from just one private key...
350.
by wizeman 6y ago
You should read this, if you haven't already: https://old.reddit.com/r/Ubiquiti/comments/kbx6ki/unifi_sono...
351.
by wizeman 6y ago
I think you would agree that the intrinsic value of dollars as backed by the metal in USD coins is negligible compared to how many USD exist, because nobody has them in substantial amounts (due to being impractical). The value of the paper
352.
by wizeman 6y ago
Practically all fiat currencies that have ever existed can or could also be used to pay your taxes and keep you out of prison, including all the ones that got destroyed or are currently being destroyed by hyper-inflation. So I don't th
353.
by wizeman 6y ago
Can you recommend one that isn't easily persuaded to change domain records without securely verifying the customer's id? It's almost impossible to vet registrars or registries, as this information isn't easily available.
354.
by wizeman 6y ago
Well, you could have registered a long time ago on the breached websites but the breaches could still be very recent, couldn't they? Or are you saying that you registered multiple times on the same website and the leak only contains th
355.
Using Pokémon to detect scientific misinformation(the-scientist.com)
207 points by wizeman 6y ago|47 comments
356.
by wizeman 6y ago
I don't think CoW can be disabled on ZFS... which is fine because VMs and databases pretty well with ZFS, even with CoW (a block size adjustment might be needed, though).
357.
by wizeman 6y ago
Yes, but then again, Reddit also did the same thing right after the Boston marathon bombing and as I recall it went pretty badly, as they ended up identifying the wrong person as the culprit and his mom ended up receiving threats from rando
358.
by wizeman 6y ago
Except Ed25519 only has 128 bits of security, not 256
359.
by wizeman 6y ago
> That is a pretty major difference with wide-ranging effects on program performance right there. It really isn't. The only difference is that in the second case you have to call mmap() at the beginning of your program to allocate s
360.
by wizeman 6y ago
To me it just seems that you're arguing semantics... I mean, what is the difference between "stack memory" and "heap memory allocated to store the stack", other than the fact that the OS preallocates the first one f

More ›