Mathieu Comandon Explains His Use of AI in Lutris Development

https://lemmy.world/post/44771947

Mathieu Comandon Explains His Use of AI in Lutris Development - Lemmy.World

Lemmy

I was ready to agree with a pragmatic use of LLM’s until he mentioned that he is working in an agentic style and is scared to touch the code manually because it will confuse Claude. 🤦🏻‍♂️

I’m all for using the AI as a pair programmer but unleashing it on a gigantic Python codebase is a comically foolish move, IMO. Python is not safe for this method of working. In fact, I’d call anything short of Unison (which hashes the entire AST) or something tailor-made for LLM’s like aver a fool’s errand. In my experience, the LLM needs a strict set of guardrails (like a static type system or similar) to get feedback from lest it turn things to spaghetti.

GitHub - jasisz/aver: Aver is a programming language for auditable AI-written code: verify in source, deploy with Rust, prove with Lean/Dafny

Aver is a programming language for auditable AI-written code: verify in source, deploy with Rust, prove with Lean/Dafny - jasisz/aver

GitHub
IMO, Lutris was already an overrated pile of junk before genAI became popular. It tracks that they’re vibecoding it now.