The only ones who seem to profit are the ones running smaller Chinese models. Even NVIDIA seems to have to "reinvest" their profits into sponsoring companies to buy their cards now.
1,089 karma · joined January 4, 2021
The only ones who seem to profit are the ones running smaller Chinese models. Even NVIDIA seems to have to "reinvest" their profits into sponsoring companies to buy their cards now.
Look at Swift. But yeah, Swift is the only language I've ever heard having compile time issues because of the type checking.
If you're statically typed you can remove the actual check from the binary. They are therefore also a performance thing.
And if you are, it's bad for the employee.
Is what the above comment actually said.
Cities should all have better public transport and out in the middle of nowhere you don't need self driving anyway. (And yes, personal cars should be entirely banned from cities)
Depending on your backend you either ignore them, check them all of the time, some of the time, or have SMT-solvers prove that if you uphold the first one all else must follow.
If you're interested in the last one, have a look at Dafny[0]
If you want to interact with their project, follow their rules on their terms, otherwise just grab the binaries and don't stir things up.
> (Mocking) Yes, that's why we should go back to Y with even worse static analysis.
Sure
Compare to [this](https://play.rust-lang.org/?version=stable&mode=debug&editio...)
There are separations to be made within autism, absolutely 100%, but the separations they hade made were also definitely 100% wrong.
I thought the builtins were defined in core and reexported by the prelude (they are defined in core, they're just implicitly in scope anyway).
But I still think expected behaviour is that builtins should have the same precedence as the prelude.
But on the other hand, it could be a bug as the trait resolver is commonly mentioned as the buggiest part of the language. I'm scared of the breakage if they fix it though.
All of these options require you to go out of your way to enable breakage.
You could also be in the super unlucky state of using something that was later proved unsound in std, which is the only case where rust will break your code on stable. (Missused unsafe in std)