

This is the understanding ANYWHERE. How do we know there aren’t back doors in our OS’s? We literally have no clue. We do THE BEST WE CAN using the clues we have.
Plutus, Haskell, Nix, Purescript, Swift/Kotlin. laser-focused on FP: formality, purity, and totality; repulsed by pragmatic, unsafe, “move fast and break things” approaches
AC24 1DE5 AE92 3B37 E584 02BA AAF9 795E 393B 4DA0
This is the understanding ANYWHERE. How do we know there aren’t back doors in our OS’s? We literally have no clue. We do THE BEST WE CAN using the clues we have.
If a doctor or mechanic was wrong, at least you’d have an inkling that things were wrong and you’d be able to sue them. Whereas with cryptography, no one has ANY IDEA WHATSOEVER if there are back doors until they are used to rob people blind. In all of the cases you mentioned, victims of those abuses have recourse whereas in cryptography, if things are wrong, they often CANNOT be patched and it’s even exceptionally hard for an expert to prove what went wrong.
It was a vapid, low effort, hiveminded Reddit joke.
It wouldn’t have. You totally misunderstood my comment. Reread it.
To paraphrase: when you hire a cryptographer to work on your project you have to hope that they are not a scammer because they could easily lie to you about the soundness of their cryptography and you’d have no idea. You see, SBF and Do Kwan were liars. If they had been cryptographers (they aren’t and weren’t) their employer would have to believe them since they would be an expert in something nearly impossible for a layman to understand.
I find it intimidating for sure. They say “never roll your own crypto” and I take those words to heart. Still, it would suck to have to hire someone and just trust their work. That person could be another Sam Bankman Fried or Do Kwan and you’d be party to their scam and you’d have no idea.
I got the joke. What I didn’t get is why it was even remotely relevant to the discussion at hand since ZK is used a lot in crypto but it’s also used everywhere else. It muddied the waters and made the joke somewhat nonsensical, IMO. Perhaps OP was unaware of how prevalent ZK is in the crypto world…
Oh well. Have a good day.
You seem to be joking but ZK and Homomorphic encryption don’t necessarily need to involve blockchain but they can.
This is like someone mentioning UUID’s and you leave a weird sarcastic comment about databases (and everyone suddenly villainizing them due to them being used for scams).
deleted by creator
Homomorphic encryption (zero knowledge cryptography) is a known solution to this problem.
https://crypto.stackexchange.com/questions/96232/zkp-prove-that-18-while-hiding-age
Defederation from hexbear.net happened quickly and with very little debate. The mods on world ADORE censorship. They are almost worse than even the censorship on Reddit. If you’re too left or right wing for them, you’re going to have a very bad time. It’s forced centrism through putting up unavoidable blinders and it is the kneejerk reaction of that instance (and a few others).
Same with hexbear. They banned me for not being left wing enough. This behavior is more toxic than a place where all are allowed to communicate IN GOOD FAITH and are only censored or banned when it is ABSOLUTELY the only option to move forward. Hiveminds are bad. Banning people and defederation is utterly anathema to the intended purpose of the fediverse. Anyone who supports censorship should take a step back and think humbly and deeply about what they are doing, smugly preventing others from expressing their opinions.
Are you sure? In my experience, they defederate from each other.
Thanks for setting me straight. I’ll still be pushing the idea of RISC-V.
Look it up. The latest generation of Intel chips have incredibly egregious issues.
If you think you’re owning the Chinese by supporting Intel, you’re very misguided. Instead, you should be hoping for RISC-V to catch on because closed architectures are vastly more vulnerable to exploitation. They represent an unknown tech stack which is a no-no for anyone who actually values freedom, privacy, and liberty. They also cost tens of millions to create while RISC-V costs significantly less since it doesn’t require a company to buy a million dollar license to build on a closed architecture.
Don’t be conflicted. RISC-V or GTFO.
Narrator: It isn’t.
Self driving vehicles are one area I’d like to see that style of standards applied.
You make great points. The problem is, our demagogues work directly for those corporations. So, the demands of corporations will always favor corporations until corporations aren’t considered constituents (which has been true since Citizens United in the US).
As others have said, Haskell and Rust are pretty great. A language that hasn’t been mentioned that I REALLY want to catch on, though, is Unison.
Honorable mention to my main driver lately: Purescript
This comment changed my life. Thanks.
If you can use another method, disabling SSH entirely would do it. ;)
This is how Talos Linux achieves best-in-class security properties.
https://www.siderolabs.com/blog/how-to-ssh-into-talos-linux/