insulanus
Joined 16 years ago
Joined 16 years ago
That's "deities smiting people.", but I really like the idea of deities smithing people :)
https://github.com/topics/windows-11-debloat
I think I used this guide https://christitus.com/windows-11-perfect-install/
I agree that the word "society" can be used to convey social norms, whether imposed by the general public or a powerful minority, but here it's use is deceptive, because there is a connotation that society at large accepts this application of law as just, and had the practical power to influence copyright law.
Much easier to do that supporting both HTTP and JS for both read and write.
Linking to a specific topic.
Archiving the site.
So, if your proof is correct, and your description of the (language/CPU) is correct, you can prove the code does what you think it does.
Formal proof systems are still growing up, though, and they are still pretty hard to use. See Coq for an introduction: https://coq.inria.fr/
The only foolproof solution is to remove power from the lobbyists.