latentsea

Does that mean the laptop was compromised or the DevOps engineer was?

Wake up comrade, new model just dropped!

Do androids do that?

A future in which nobody needs you.

The future is not set.

Is it like mathematician slang for 'yak shaving'?

>But maybe that’s still just making the proof easier for humans to understand? No! For one, this usually makes the proof shorter, and sometimes dramatically shorter.

Hmm, so is the way to train this to take all the long complicated proofs it generates in Lean and then use autoresearch to minimize the length of the proof?

My priors have been so thoroughly updated by all the recent progress in AI that it really seems like there isn't anything that fundamentally cannot be learnt. So, is this how we train this kind of taste?

I'm not a mathematician, nor an AI engineer/researcher. Just watching from the sidelines and spitballing ideas.

What a time to be alive?

Fucking yikes. As someone that relies on Proton, I'm devastated to hear this. They have just completely destroyed their brand.

Jev for fast actions + LLMs for more strategic planning?

Why 3 to 5 years??

I dunno. Aren't we somewhat similar? Why do we use software?

Twice the length from one end to the middle.

I think it doesn't matter what the truth is. There will always be people that want to believe their preferred narrative.

There is no rethinking the path we're on. It's unsteerable. I say so because I think you can't convince people to steer it away from a potentially bad outcome faster than that outcome is arriving.

Cuts in pay it is.

Well that's all there will be to do.