There are seven questions in this article, and topics like machine learning and program verification are in quotes. I don't think a competent engineer was cons

There are seven questions in this article, and topics like machine learning and program verification are in quotes. I don't think a competent engineer was consulted on this article. Perhaps as a community we should elucidate in a more formal fashion to the press.