I think the tag you mean is "singularity", not "aingularity". :)

I'm very happy to see this discussion. It's nice to see these positions placed next to each other, for clarity.

I, too, would like to see written arguments for the probable-unfriendliness of a human-written AGI with intended, but unproven friendliness. Truly it is said that given enough eyeballs, all bugs are shallow; and such bug-fixes of a written analysis defends against the conjunction fallacy.