antientropic
Joined 13 years ago
Joined 13 years ago
Pointing to the inaction of other countries as an excuse for one's own inaction is a weak argument. Good luck suing Russia. (They were actually a member of the Council of Europe until 2022, so this decision would have applied to them...)
There isn't. There is the ICJ, which handles disputes between states, and the ICC, which handles war crimes etc. and definitely isn't going to judge climate legislation.
The article you're responding to is a dramatic demonstration that it has happened: Amazon's IPs would not be worth $4.5B if we hadn't run out. It requires us all to ration a resource (namely numbers) that should be near-infinite and essentially free.
From a security perspective, demanding a formally verified C compiler is rearranging the deck chairs on the Titanic. Switching to a safer language like Rust will do much more to improve security, even if the compiler is not verified.
In the original Unix security model, there was no security concern with this (except maybe for chroot environments): it didn't allow a process to do something it couldn't otherwise do, since all processes owned by a uid had exactly the same rights. Now that we've started sandboxing user processes in various ways on macOS and Linux, that's no longer the case, and we suddenly need to crack down on useful tools like strace and gdb.
It says no such thing (as the Wikipedia article you linked points out). The most it says is that they shall seek "immediate United Nations Security Council action" if "Ukraine should become a victim of an act of aggression or an object of a threat of aggression in which nuclear weapons are used."
https://en.wikisource.org/wiki/Ukraine._Memorandum_on_Securi...
Perhaps if the ACM renamed the Turing Award to "The Alfred Nobel Memorial Prize in Computer Science", the Nobel Foundation would let them get away with it.