I have a pile of thoughts on ChatGPT, and I'm going to dump it here. To start, it has been making me think of the lessons of Knight and Leveson's "An experimental evaluation of the assumption of independence in multiversion programming"