9aout: Native Plan 9 binaries on Linux
github.com3 pointsby unexpectedtrap0 comments
def x := #[1, 2, 3, 4]
#check x[7]
But in this case, as using plain brute force is already quite a common thing in searching for counterexamples, using LLMs as a sort of more advanced brute force seems to be just the right thing to do, so I struggle to understand so much hostility to this approach.