tempaccount420
Joined 3 years ago
Joined 3 years ago
> Bend 2 is here!
> It is a new programming language that blocks AI mistakes via proof checking - the same technique big AI labs used to >solve open math problems, like Navier-Stokes.
> It is also very fast, and runs on GPUs.
You have more options, not less, you can still use the external dependencies.
https://acadia.engineering/license/faq (archive since these things change over time: https://archive.vn/oUwxDwxD)
https://acadia.engineering/license/faq (archive since these things change over time: https://archive.vn/oUwxDwxD)
Or let me ask a more useful question: if we were to move, then to where? Ideally somewhere new (not Gitlab)
Because letting you look at the code would be too dangerous, you could reverse engineer an exploit to another product! Or distill their internet-distilled model!
But don't worry, at least it will be very convenient.
I had this happen with requests to crates.io, because crates.io rejects all requests without a User-Agent (and it knows this inherently, it's not any prompt injection), so the model has to invent one, and often it invents one with your email address in it...