[sandos]

Sometimes when I was stressed, I have used several models to verify each others´ work. They usually find problems, too!

This is very useful for things that take time to verify, we have CI stuff that takes 2-3 hours to run and I hate when those fails because of a syntax error.

[xmcqdpt2]

Syntax errors should be caught by type checking / compiling/ linting. That should not take 2-3 hours!