MindfulMaverick@piefed.zipEnglish · 9 days agoI rewrote 13 software engineering books into AGENTS.md rules.plus-squaregithub.comexternal-linkmessage-square0linkfedilinkarrow-up113arrow-down13
arrow-up110arrow-down1external-linkI rewrote 13 software engineering books into AGENTS.md rules.plus-squaregithub.comMindfulMaverick@piefed.zipEnglish · 9 days agomessage-square0linkfedilink
vermaterc@lemmy.mlMEnglish · 11 days agoIntroducing GPT-5.5openai.comexternal-linkmessage-square0linkfedilinkarrow-up14arrow-down15
arrow-up1-1arrow-down1external-linkIntroducing GPT-5.5openai.comvermaterc@lemmy.mlMEnglish · 11 days agomessage-square0linkfedilink
vermaterc@lemmy.mlMEnglish · 11 days agoWhat happens when you tell Copilot CLI to modify itselfplus-squarewww.youtube.comexternal-linkmessage-square1linkfedilinkarrow-up12arrow-down12
arrow-up10arrow-down1external-linkWhat happens when you tell Copilot CLI to modify itselfplus-squarewww.youtube.comvermaterc@lemmy.mlMEnglish · 11 days agomessage-square1linkfedilink
vermaterc@lemmy.mlMEnglish · 12 days agoChanges to GitHub Copilot Pro plan - tighter usage limits, no access to Claude Opus, new signups pausedplus-squaregithub.blogexternal-linkmessage-square0linkfedilinkarrow-up12arrow-down11
arrow-up11arrow-down1external-linkChanges to GitHub Copilot Pro plan - tighter usage limits, no access to Claude Opus, new signups pausedplus-squaregithub.blogvermaterc@lemmy.mlMEnglish · 12 days agomessage-square0linkfedilink
vermaterc@lemmy.mlMEnglish · 18 days agoIntroducing Claude Opus 4.7www.anthropic.comexternal-linkmessage-square0linkfedilinkarrow-up12arrow-down14
arrow-up1-2arrow-down1external-linkIntroducing Claude Opus 4.7www.anthropic.comvermaterc@lemmy.mlMEnglish · 18 days agomessage-square0linkfedilink
vermaterc@lemmy.mlMEnglish · 21 days agoI ran Gemma 4 as a local model in Codex CLIplus-squareblog.danielvaughan.comexternal-linkmessage-square0linkfedilinkarrow-up14arrow-down11
arrow-up13arrow-down1external-linkI ran Gemma 4 as a local model in Codex CLIplus-squareblog.danielvaughan.comvermaterc@lemmy.mlMEnglish · 21 days agomessage-square0linkfedilink
mystic-macaroni@lemmy.mlEnglish · 22 days agoAre there any local foss coding agents? What would you suggest?message-squaremessage-square3linkfedilinkarrow-up14arrow-down10
arrow-up14arrow-down1message-squareAre there any local foss coding agents? What would you suggest?mystic-macaroni@lemmy.mlEnglish · 22 days agomessage-square3linkfedilink
bremen15@feddit.orgEnglish · 24 days agoyoutube lecture of dafny for LLM codingplus-squareyoutu.beexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down12
arrow-up1-1arrow-down1external-linkyoutube lecture of dafny for LLM codingplus-squareyoutu.bebremen15@feddit.orgEnglish · 24 days agomessage-square0linkfedilink
vermaterc@lemmy.mlMEnglish · 25 days agoVS Code 1.115 - introduction of the new VS Code Agents companion appplus-squarecode.visualstudio.comexternal-linkmessage-square0linkfedilinkarrow-up13arrow-down12
arrow-up11arrow-down1external-linkVS Code 1.115 - introduction of the new VS Code Agents companion appplus-squarecode.visualstudio.comvermaterc@lemmy.mlMEnglish · 25 days agomessage-square0linkfedilink
vermaterc@lemmy.mlMEnglish · 25 days agoTop coding agents among OpenRouter usersplus-squareopenrouter.aiexternal-linkmessage-square0linkfedilinkarrow-up12arrow-down10
arrow-up12arrow-down1external-linkTop coding agents among OpenRouter usersplus-squareopenrouter.aivermaterc@lemmy.mlMEnglish · 25 days agomessage-square0linkfedilink
vermaterc@lemmy.mlMEnglish · edit-225 days agoLaunch of ARC-AGI-3 - next edition of a benchmark for agentsplus-squarewww.youtube.comexternal-linkmessage-square1linkfedilinkarrow-up13arrow-down10
arrow-up13arrow-down1external-linkLaunch of ARC-AGI-3 - next edition of a benchmark for agentsplus-squarewww.youtube.comvermaterc@lemmy.mlMEnglish · edit-225 days agomessage-square1linkfedilink
bremen15@feddit.orgEnglish · 26 days agoDafny as Verification-Aware Intermediate Language for Code Generationplus-squarearxiv.orgexternal-linkmessage-square2linkfedilinkarrow-up12arrow-down13
arrow-up1-1arrow-down1external-linkDafny as Verification-Aware Intermediate Language for Code Generationplus-squarearxiv.orgbremen15@feddit.orgEnglish · 26 days agomessage-square2linkfedilink
bremen15@feddit.orgEnglish · 29 days agoUsing formal methods to keep LLMs on trackplus-squarebrainflow.substack.comexternal-linkmessage-square1linkfedilinkarrow-up17arrow-down11
arrow-up16arrow-down1external-linkUsing formal methods to keep LLMs on trackplus-squarebrainflow.substack.combremen15@feddit.orgEnglish · 29 days agomessage-square1linkfedilink
vermaterc@lemmy.mlMEnglish · edit-229 days agoMaking Claude talk like caveman to cut 75% of tokensplus-squaregithub.comexternal-linkmessage-square2linkfedilinkarrow-up15arrow-down10
arrow-up15arrow-down1external-linkMaking Claude talk like caveman to cut 75% of tokensplus-squaregithub.comvermaterc@lemmy.mlMEnglish · edit-229 days agomessage-square2linkfedilink
vermaterc@lemmy.mlMEnglish · 29 days agoEight years of wanting, three months of building with AIplus-squarelalitm.comexternal-linkmessage-square0linkfedilinkarrow-up12arrow-down11
arrow-up11arrow-down1external-linkEight years of wanting, three months of building with AIplus-squarelalitm.comvermaterc@lemmy.mlMEnglish · 29 days agomessage-square0linkfedilink
vermaterc@lemmy.mlMEnglish · 30 days agoComponents of A Coding Agent - How coding agents use tools, memory, and repo context to make LLMs work better in practiceplus-squaremagazine.sebastianraschka.comexternal-linkmessage-square0linkfedilinkarrow-up13arrow-down10
arrow-up13arrow-down1external-linkComponents of A Coding Agent - How coding agents use tools, memory, and repo context to make LLMs work better in practiceplus-squaremagazine.sebastianraschka.comvermaterc@lemmy.mlMEnglish · 30 days agomessage-square0linkfedilink
vermaterc@lemmy.mlMEnglish · 1 month agoCursor 3plus-squarecursor.comexternal-linkmessage-square0linkfedilinkarrow-up12arrow-down10
arrow-up12arrow-down1external-linkCursor 3plus-squarecursor.comvermaterc@lemmy.mlMEnglish · 1 month agomessage-square0linkfedilink
vermaterc@lemmy.mlMEnglish · 1 month agoCline Kanban - manage coding agents using kanban boardplus-squarecline.botexternal-linkmessage-square0linkfedilinkarrow-up12arrow-down10
arrow-up12arrow-down1external-linkCline Kanban - manage coding agents using kanban boardplus-squarecline.botvermaterc@lemmy.mlMEnglish · 1 month agomessage-square0linkfedilink
vermaterc@lemmy.mlMEnglish · 1 month agoSummary of Claude Code source leakplus-squaredev.toexternal-linkmessage-square0linkfedilinkarrow-up12arrow-down10
arrow-up12arrow-down1external-linkSummary of Claude Code source leakplus-squaredev.tovermaterc@lemmy.mlMEnglish · 1 month agomessage-square0linkfedilink