!ai_coding_agents@lemmy.ml
“I wanted to know whether Gemma 4 could replace a cloud model for my day-to-day agentic coding.”
Dafny is a good intermediate step for LLM generated code.
Some issues can be prevented when vibe-coding, but LLMs find a way of messing up anyway.
Local votes are a bit more private.
Default mode: public.