From irrelevant links to Wikipedia to bizarre accusations of my having a problem with authority (even though you're not an authority over anything, or on anything), your post runs the gamut from garbage to shit.
Let me break this down for you: When you say stupid shit, I point out that you have said stupid shit. That's it. It's really that simple. I don't have any personal vendetta against you. You just say a lot of stupid shit.
Also the whole "I never claimed to be an expert" line is getting tiresome. You're perfectly content to speak as though you know what you're talking about until you get BTFO, then you're back to simpering about how you never actually claimed to be an expert, or to be well-versed in whatever. It's pathetic. When you say something like:
>No need for auditing the software, if you use formal methods along the way.
there's no "maybe", or "I think", or "Some stuff I've read leads me to believe that" or "in certain situations". Nothing conditional. It's a confident statement with no qualifiers that reveals the depth of your ignorance about the limitations of formal verification.
And you make these kinds of ridiculous assertions all the time.
Basically, if you want to cease experiencing daily asshurt over having your wild, inaccurate, and unrealistic claims challenged on this board you can:
1. Make claims that are less wild, inaccurate, and unrealistic, OR