I think this is still super interesting. It's something humans are unable to do/there's few humans that can. I very much like the pattern of writing basic log

I think this is still super interesting. It's something humans are unable to do/there's few humans that can. I very much like the pattern of writing basic logic myself and then using a coding model to optimize it. It's effectively what we do with compilers already, this just makes it better.