• ranok@sopuli.xyz
    link
    fedilink
    arrow-up
    2
    ·
    1 year ago

    LLMs can be super useful if there is an authoritative source of truth. I wrote a Langchain app that takes my Python code, asks ChatGPT to optimize it then uses symbolic analysis to perform equivalency checking. I get to write and have clear simple python code, and then I offload optimization to a bot.