504 karma · joined February 21, 2019
The fifth sentence: "Several UN members requested access to the area for verification, which was not provided".
I have no idea what actually happened, but it sure sounds like the Wikipedia article has some doubts.
Essays of this nature should generally be prefixed with "if you happen to work in exactly the same way that I do..."
Are you arguing that GC is not inherently slower than other memory management strategies (e.g. the Rust approach)? Or just that the cost is not worth optimizing away?
The correctness of an application is limited by your ability to understand and describe what you need. We have a word for an application specification tool so detailed it eliminates all ambiguity. It's called a "programming language".
The mistakes are always in the transfer from human to machine. I still find a high-level programming language to be the best way to express my intent. Humans will make mistakes in the hand-off to AI just like they make mistakes in the hand-off to code, but at least code is deterministic.