Viewing profile — notfed

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, i…

> 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 ov…

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 calcif…

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 upgrade…

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.

It's literally a very common English word. There's probably a million things with this name.

> For example, my software renders the smiling face with horns as red [], but often the depiction is purple. It seems the article is ironically falling for the same problem. This w…

Why is #1 insane (no horizontal scaling) if you only have 23 requests per day?

Personally, I don't drink water at night. Even a little bit. Because if I do, I wake up to pee multiple times.

> A sound that could not possibly be produced by the circuit in the PDF or any reasonable variation of the circuit. Why not? What's wrong with the circuit? Here's my rebuttal to yo…

You seem convinced this is "fake". It's unclear what you think is fake about this. Fruits are wet, salty, acidic objects. As such, they can be used in an electronic circuit. They h…

And that Tylenol causes autism.

https://archive.is/QFb9E

Sooo I really expected this to have a way to donate money to specific cats. If you added this feature I honestly think it'd be a viral idea.

underrated observation

Not for me.

> I'm willing to believe elecromagnetic fields are real No shade intended, but a philosophical conversation is unconstructive when it centers around highly ambiguous and undefined …

Hmm, has Modos published "max number of refreshes" for their newest display?

"I strongly feel that AI is an insult to life itself." - Hayao Miyazaki I'm going to start using this quote.

It's almost as if this post was written in direct response to TFA to brag about how far ahead C# has been for over a decade.