just do everything in Isabelle and prove correctness, ezpz no tests required
Treeniks
- 0 Posts
- 5 Comments
Joined 2 years ago
Cake day: June 6th, 2023
You are not logged in. If you use a Fediverse account that is able to follow users, you can follow this user.
24·2 years agoI’m pretty sure this only concerns twitch affiliates. Multistreaming was always allowed for non-affiliates.
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 it’s taxed more, wouldn’t that just make them worsen the chances to compensate?
This Isabelle