yikes. bad take. just because someone is living on the streets doesnt mean they are incompetent

Using Navier-Stokes doesnt seem like a good choice given the controversy around it.

Well, there are tons of other things newly proven any LLMs, as well as lots of other things once termed creative and the domain of humans only, that LLMs and other models have surpassed the "creative" humans, that all you have to do is find one to realize that humans are not the only creative force on earth.

Something like the forest and trees applies here.

As far as I know, the controversy involves a pair of mathematicians using LLMs to solve the problem and another group who used LLMs to solve the problem. No one seems to be disputing the solution itself.

The controversy was that OpenAI may have stolen the work of mathematicians, which IMO is not hard to believe given they've stolen quiet alot for training data.

Right, but those mathematicians whose work might have been stolen were...using LLMs to attack the problem.

Whats the issue with the POC video? I dont understand why thats surprising

Don't you think the style of video looks a bit unprofessional? It's like the next iPhone being presented by the Apple CEO but using a vTuber avatar with subway surfer gameplay in the background.

In some circles it is a sign of credibility. Leaking it beforehand is very unprofessional, however.

After all, furries run the internet.

> In some circles it is a sign of credibility.

I was griping about my day being ruined over the breakfast table and my son was interested. I showed him the video and he asked why there was an anime girl on the screen?

My response was "if you've worked with computers for any length of time, and you ever see a video of a terminal posted with an anime, catgirl, or furry overlay, you know something really bad is coming your way."

is this about to become the new meta? become a furry anime catgirl just to get people to take you more seriously?

> After all, furries run the internet.

And how's that going?

I dunno. Php aside, has it been up today, and every single day since you started using it?

"Up" is an ambiguous term, and then we have to get into what is actually being done with the internet while it is "up".

> the next iPhone being presented by the Apple CEO but using a vTuber avatar

sounds like a good time

well it isn't apple, you should expect a different brand of professionalism :p

Before the official fix someone published it, and it seems the person is not associated with Calif: https://x.com/k_firsov

How did they get access to the script though? The output seems to be identical to the real PoC, so it looks like the same script.

Which makes someone to think, whether Calif could not wait for the responsible disclosure. Or someone leaked the video for someone they should not have.

They got access to the video, not the script. Calif authored the video and it was accidentally made public.

GPU support and passthrough work fine IME

It seems more like a handrolled CodeQL

It's an agent system that basically embeds the core idea of CodeQL (Datalog extraction from codebases) and then allows a model to pose questions and answer them.

There is a giant list of reasons here https://grapheneos.org/faq#future-devices

id guess that most resolvers have a least recently used (LRU) policy

But they must still have a TTL, they can't just store stale records forever.

You're right, it's TTL not LRU. The authoritative server publishes a TTL with the record — "you may keep this for N seconds" — and when it's up the resolver has to ask again no matter how popular it is.

LRU does show up in resolvers, but as memory management: cache is full, evict the least recently used early. It can only make something disappear sooner than its TTL, never later.

It's time-based because there's no back-channel. An authoritative server has no idea who's holding a copy of its records, so it can't push an invalidation.

Yep, that's my mental model as well, thanks.

Bring back PB Crisps!

Dell did this too with their workstation laptops, Dell Pro Max 16 Plus. :/

Seems squarely in the "cost of doing business" category