In some cases, you CAN verify the output: codes can be run through a compiler and their test suite, for example

→ View original post on X — @simonw