just do everything in Isabelle and prove correctness, ezpz no tests required
just do everything in Isabelle and prove correctness, ezpz no tests required
Actually when it comes to C++ 23 library features, MSVC is ahead of both. In fact, as far as I can tell, MSVC is the only compiler that fully supports all C++ 20 core language features at the moment. So credit where credit is due, MSVC has gotten way way better the past few years. Visual Studio is still awful, but the compiler has become quite competent.
If the communities could federate, then posting to /c/rust@lemmy.ml will not automatically repost it to the other 2, instead subscribers to one of the other 2 will just also be able to see the post. I.e. it eliminates the need to subscribe to all 3, and thus also the need to post to all 3. That’s how I understand it at least.
This Isabelle