j16sdiz

You can say the same for many other industries:

> almost-unregulated except when the authority say no.

I love the clipboard warning.

before that, facebook was stealing everything on your clipboard and send back to their server.

This dialog is what it take to stop them.

and it have the pattern detect you asked.

We were talking about early 2000s.

Perl 5 was the language of choice for CGI in that era, but PHP borrowed some of perl syntax and quickly displaced Perl in web usage.

Some perl programmers migrated to Embperl, but it didn't gain much momentum.

They triaged them - that's why it gets wontfix.

False negative? I honestly don't know what we can do about it. If this is a real issue, maybe another llm will rediscover it and it eventually will get triaged right?

just down vote it.

You can downvote anything not interesting.

If he have list some alternative or give example, it might be interesting.

That's why we use the system RNG !

Most of these work have real person to look and validate the cost. Doing that without account would be too little friction and overwhelm the team.

Is it? I think zig use llvm codegen. Once you got llvm for your architecture, you get 99% of modern language

It would cause more tabs to be open.

You can't use the old tab because all the plants. You open a new tab for the same page. Don't need to close any old tab for that.

It's the "PC-compatible" hardware make those affordable, not PC.

one click exploit is fun when you trying to jailbreak your phone; it is a nightmare when a random website do that

Maybe. That's why i start thinking i am getting old and less curious :(

infrastructure project big enough to affect qol in neighborhood: checked

corruption: checked

regulatory capture: in progress

Ya, the new oil.

Every statement in the article make me ask: "what's weird about it?"

Everything in that list feel natural when you know how things evolves over many years. Maybe it is just me getting older and less curious.

Did they remember what OpenAI did with Lean and Math Proofs?

OpenAI wrote some lean that pass the validate, write a math paper that feel plausible, but the paper don't match what's in lean.

Anthropic is now translating programs into Rocq proof. The same can happen.

Don't get me wrong -- this process can help catch some bug. but this is far from a proof