if you enforce user input to specific shapes... and only have certain system calls... I think a unikernel version of a hackernews style site really wouldn't have RCE... especially if you build in KSLR / memory tagging in the unikernel security model...

my line for "self hosted" isn't "must be on my own hardware", but "must be on my own linux VPS"

Okay - so... they're saying... don't use p384? :3

As far as I know, P384 has never been a “right answer.”

handing clients access to an LLM gets them beginner level code, easily. same with beginner level exploits. an RCE against google is not a "beginner level exploit". If you've seen AI generated code, I can tell you that AI generated security findings also have that "beginner" smell. an expert who knows what they're doing has to drive them to look at the right places, and use the experts preferred method.

the idea of a caricature is to exaggerate the features someone is most insecure about. That's what Spitting Image is.

That is literally bullying. especially when those insecurities are something that can not be fixed. You can't excuse bullying because "it's for humor." It's cruel.

Search "punching down vs punching up in comedy" and you'll understand why it's not bullying.

I still don't get it. Especially with shows with large distribution merely being a public figure pails in comparison. Dario has no ability to defend himself here. Any post he makes on social media is unable to reach the same people. The idea that public figures can be bullied and harassed just serves bullies' interest in defining a way to morally continue their antics of hurting others.

> public figures can be bullied and harassed

But he's not being bullied and being harassed. He's a public figure and he has fuck you money. If he doesn't like people making jokes about him, he can simply shut up, disappear from public space and live comfortable life without ever working again.

Bullying implies a power imbalance that does not exist here

If you can't see it as jocks bullying the nerds, then see it as just harassment. You are getting caught up on the exact words and not that it makes whoever a jerk to put people down.

I can excuse bullying powerful people in all cases, especially when it's funny

You can't bully someone so much more powerful. Bullying is saying AI will replace devs, 10% chance of everybody dying, etc.

I think Dario will be fine. I don't have much sympathy.

And yes, it is indeed because he's a billionaire actively shaping a worse society. Not because it's okay to make fun of impediments when it's on rich people.

Some assembly required.

they could have gone with an oblivious transfer approach (where it's working on what looks like multiple problems at once, you don't know which)

1. score by the past paragraph (this is also how the verifier checks without needing a GPU, it takes the previous length of text)

2. same answer

3. no, it just needs the previous text, private key, and the matrix math (CPU is fine)

4. no, see above.

Thanks ...

1. So we can't score the first paragraph (or similar-sized block), and not short texts? Not deal-breaker, but a limitation.

2. Doesn't the score vary by each AI system state - its model, programming, harness, etc.? Claude's output today doesn't match Gemini's, nor Claude from 2 years ago.

Seems like Zed needs to clean up shop and fix their IDE first.

what was the hardest part about this project?

Everything :)

But I wouldn't characterize it in terms of being hard.

It's been a work in progress for many years,... so more of a problem solving and exploratory endeavor.