[huijzer]

I completely agree. If correctness matters, then it’s probably better to use LLMs to write the code than to let LLMs be the code.