I like how you claim that a software engineer "thinking" their code will work is comparable to a literal "all knowing god" as if they are remotely similar.
Are they the same, as in they are similarly fallible, or is an "all knowing god" more than the average software engineer? Pick one. You can't have both.