Community icon

AI Coding Agents - community for people using AI for coding

!ai_coding_agents@lemmy.ml

Hot
New Old Active
Hot
New Old Active
Posts Comments
List Tile Wide tile

I ran Gemma 4 as a local model in Codex CLI

by

“I wanted to know whether Gemma 4 could replace a cloud model for my day-to-day agentic coding.”

0
3

Are there any local foss coding agents? What would you suggest?

by
3
4

youtube lecture of dafny for LLM coding

by
Video Thumbnail
0
-1

Top coding agents among OpenRouter users

by
0
2

Launch of ARC-AGI-3 - next edition of a benchmark for agents

by
Video Thumbnail
1
3

VS Code 1.115 - introduction of the new VS Code Agents companion app

by
0
0
1

Dafny as Verification-Aware Intermediate Language for Code Generation

by

Dafny is a good intermediate step for LLM generated code.

2
0
1

Using formal methods to keep LLMs on track

by

Some issues can be prevented when vibe-coding, but LLMs find a way of messing up anyway.

0
1

Making Claude talk like caveman to cut 75% of tokens

by
7
3
3

Eight years of wanting, three months of building with AI

by
0
1
2

Components of A Coding Agent - How coding agents use tools, memory, and repo context to make LLMs work better in practice

by
0
1
2

Cursor 3

by
0
1
2

Cline Kanban - manage coding agents using kanban board

by
0
1
1

Summary of Claude Code source leak

by
0
1
3