notrealyme123

I guess I am not doing my PhD in an actual research lab then. We don't get Claude/chatgpt paid, but we basically have to use them. Otherwise we don't have any chance for sota research. And I am not talking about AI doing innovation. Just shorten the time between idea and results.

Right now we have to Pay it ourself, and we are very aware that oai might use our research.

It creates a lot of uncertainty. Especially if you depend more and more on them in your day to day life.

If your always-on agent hears to wrong thing, you could lose access to things you depend on. The same reason makes GCP very unattractive.

Iirc They specifically trained them to not be useful in cyber stuff. But the point still holds

Correct me if I am wrong, but you don't get root access via the android developer options.

20 merge requests in the last two hours. And all look somewhat reasonable on first glance.

I am happy for not maintaining a relevant open-source repo.

Interesting theory. Is there a distinction between phone release and os release there? I would imagine the time starts when the model goes in sale, not when the os releases.

Otherwise I would expect Google would also wait with pixel updates

I think putting cups with the opening facing upward is very close to "technically correct, but very wrong"

> "Either the ICC will end its threats, or we will end the ICC."

Are the ICC already terrorists, or not yet? Asking for a friend who doesn't want to get bombed.

Like all the junior devs getting opportunities left and right.

If you can't leave them, love them

I get the feeling a lot of people propose that we can write a verifier for every proof in lean.

Can someone tell me in simple terms why this doesn't conflict with the incompleteness theorems?

edit: thanks for the responses, i feel slightly less dumb now

How do you use autism to filter something? Did you train this?

The discussion right now brings this framework into the training corpus of the model.

Give it a year and it is outplayed by new agents. Shovel makes have to sell shovel's

This data does not support the argument made here.