noli

What study is that? Can you give a reference?

Smh my head

But rust

How did a bug with something like that never pop up in unit tests?

If you actually read the article, it doesn't say anything about being able to solve the halting problem. It used the undecidability of the halting problem to prove equivalence of another class of problems to the halting problem.

Also being able to analyze any program and guarantee it will stop

I had to translate this to german to understand... and I'm not even german

What is this recent trend of saying "batteries included" for literally anything software related?

It feels like it tells you nothing at all about the project except that whoever is talking about it is big into buzzwords

Couldn't you do something like JWT except allow the client to slap on their credentials to any initial request?

From the backend side that means that if there is no valid token, you can check the request body for the credentials. If they're not there, then it's an unauthorized request.

You're eliminating a singular request in a long period of time at the cost of adding complexity to both client and backend but if the customer wants to be silly that's their fault

That's actually a great idea

Hehe pp

JS was a mistake.