notfed

This is hacker news, and this is Hacker News.

I don't get it. Is it saying Olo is an example of a color that can't be displayed on modern RGB displays?

I wonder if someone could sell pieces of paper which have this color?

In addition to holding the key, wouldn't you additionally need to know exactly which model to check against? So for passive detection to happen, I think each company would need to check every message against every model version? Also would need to spend resources re-invoking the each model version against each message.

Ok but how often do people provide a proof assistant verified proof for it? That's what this is. (Except that it's because the verifier had a bug.)

(As someone who's watched them) yes. Should be required viewing for everyone.

Gilbert Strang has an excellent free (IIRC) linear algebra course, accompanied by his excellent textbook. Kahn Academy has some surprisingly good linear algebra lectures as well, if something isn't clicking.

> The European Union’s Digital Identity Wallet takes a radically different approach. Zero-knowledge proofs let you verify age without revealing personal data—like showing you’re over 18 without disclosing your birthdate or identity details

I'm not buying that "I am over 18, but I tell you this without revealing that I am over 18" is a real thing

Is there a name for this? I think about this all the time. I've always had a theory that some offensive words may actually be persisting longer solely because we essentially calcify their definitions and never allow them to evolve into new less offensive meanings.

Suggestion: it should, at very least, not show a UI a notification "_ is now on signal!" As a nice to have, yes, it should blackhole a message until at least one reply happens.

> I could not take videos unfortunately

Why?

No, but I can empathize. I never understood the Nix language. It's impenetrable to me. I hate it so much.

I keep checking back every year or so secretly hoping they'll have upgraded the language. It's fascinating how successful Nix is given how utterly opaque the language is.

Imagine how hard moderating a forum is. Now imagine moderating the whole Internet. Everyone always thinks it's trivial. Everyone couldn't be more wrong.