I strongly disagree with statement that the tests should be written by human. Human is responsible for ensuring the correctness of implementation and signing off the task.
And I'd add one more item - use compiled language like java, c#, typescript, etc. Compiler is an additional validation point and helps rule out api method hallucinations.
TypeScript isn't compiled though, it's transpiled back to JavaScript. I agree with the sense that it eliminates classes of errors, however.
I think I could've written this post, maybe not as positively. I agree with almost everything (and I think I mostly agree with the 'test' part, but it depends which kind of test we're talking about). I know I don't add much on the discussion, but I want to point out that this is a very comprehensive post.