Comments by "Vitaly L" (@vitalyl1327) on "Copilot Is Destroying Devin" video.

  1. LLMs must not try to detect code issues directly. LLM must translate a code it's reading into a set of constraints that a human developer would have expected from this code, and then run a proof assistant proving that the implementation conforms to the constraints. LLMs are not good with logic, they must employ external tools for it. Just like, you know, humans.
    1