Daniel Collin on Nostr: Still think it would be hard. Sure if you can "backwards" prove that some specific ...

Still think it would be hard. Sure if you can "backwards" prove that some specific input generates exactly some code that someone commits without any changes then maybe, but usually you don't write code that way.

You implement something and then you change stuff to what you want it to do. In general using LLMs to do algorithms is a bad idea.

But using it for generating boilerplate (i.e repeating code patterns) and test code is very useful and doesn't affect the "real" code.