I couldn't agree more with you. If you check my reply to the same article, I program in Ada and in Ada you suppose that the programmer is just a fallible human being, so the compiler must protect the programmer from self.
I often say that programming in Ada is like doing pair programming, with the compiler playing the role of your partner.
We're a place where coders share, stay up-to-date and grow their careers.
We strive for transparency and don't collect excess data.