I've been experimenting with Claude a lot lately (like everyone else) and this post summarizes some of my current thoughts. Following up from the post, I'm not yet sure what the solution is to validation. It could be formal verification, although that's still dependent on having a perfect specification. Another method might simply be for harnesses to have a validation keyword that pushes them to validate after certain operations. Curious to hear your thoughts!