davel@lemmy.mlEnglish · 10 days agoBun Migrated from Zig to Rust in DAYS. But the Code...plus-squarewww.youtube.comexternal-linkmessage-square0fedilinkarrow-up12arrow-down11
arrow-up11arrow-down1external-linkBun Migrated from Zig to Rust in DAYS. But the Code...plus-squarewww.youtube.comdavel@lemmy.mlEnglish · 10 days agomessage-square0fedilink
MindfulMaverick@piefed.zipEnglish · 1 month agoI rewrote 13 software engineering books into AGENTS.md rules.plus-squaregithub.comexternal-linkmessage-square2fedilinkarrow-up114arrow-down13
arrow-up111arrow-down1external-linkI rewrote 13 software engineering books into AGENTS.md rules.plus-squaregithub.comMindfulMaverick@piefed.zipEnglish · 1 month agomessage-square2fedilink
vermaterc@lemmy.mlMEnglish · 1 month agoIntroducing GPT-5.5openai.comexternal-linkmessage-square0fedilinkarrow-up14arrow-down15
arrow-up1-1arrow-down1external-linkIntroducing GPT-5.5openai.comvermaterc@lemmy.mlMEnglish · 1 month agomessage-square0fedilink
vermaterc@lemmy.mlMEnglish · 1 month agoWhat happens when you tell Copilot CLI to modify itselfwww.youtube.comexternal-linkmessage-square1fedilinkarrow-up12arrow-down12
arrow-up10arrow-down1external-linkWhat happens when you tell Copilot CLI to modify itselfwww.youtube.comvermaterc@lemmy.mlMEnglish · 1 month agomessage-square1fedilink
vermaterc@lemmy.mlMEnglish · 1 month agoChanges to GitHub Copilot Pro plan - tighter usage limits, no access to Claude Opus, new signups pausedplus-squaregithub.blogexternal-linkmessage-square0fedilinkarrow-up13arrow-down11
arrow-up12arrow-down1external-linkChanges to GitHub Copilot Pro plan - tighter usage limits, no access to Claude Opus, new signups pausedplus-squaregithub.blogvermaterc@lemmy.mlMEnglish · 1 month agomessage-square0fedilink
vermaterc@lemmy.mlMEnglish · 1 month agoIntroducing Claude Opus 4.7www.anthropic.comexternal-linkmessage-square0fedilinkarrow-up12arrow-down14
arrow-up1-2arrow-down1external-linkIntroducing Claude Opus 4.7www.anthropic.comvermaterc@lemmy.mlMEnglish · 1 month agomessage-square0fedilink
vermaterc@lemmy.mlMEnglish · edit-22 months agoI ran Gemma 4 as a local model in Codex CLIplus-squareblog.danielvaughan.comexternal-linkmessage-square0fedilinkarrow-up14arrow-down11
arrow-up13arrow-down1external-linkI ran Gemma 4 as a local model in Codex CLIplus-squareblog.danielvaughan.comvermaterc@lemmy.mlMEnglish · edit-22 months agomessage-square0fedilink
mystic-macaroni@lemmy.mlEnglish · 2 months agoAre there any local foss coding agents? What would you suggest?message-squaremessage-square3fedilinkarrow-up14arrow-down10
arrow-up14arrow-down1message-squareAre there any local foss coding agents? What would you suggest?mystic-macaroni@lemmy.mlEnglish · 2 months agomessage-square3fedilink
bremen15@feddit.orgEnglish · 2 months agoyoutube lecture of dafny for LLM codingyoutu.beexternal-linkmessage-square0fedilinkarrow-up11arrow-down12
arrow-up1-1arrow-down1external-linkyoutube lecture of dafny for LLM codingyoutu.bebremen15@feddit.orgEnglish · 2 months agomessage-square0fedilink
vermaterc@lemmy.mlMEnglish · 2 months agoVS Code 1.115 - introduction of the new VS Code Agents companion appplus-squarecode.visualstudio.comexternal-linkmessage-square0fedilinkarrow-up13arrow-down12
arrow-up11arrow-down1external-linkVS Code 1.115 - introduction of the new VS Code Agents companion appplus-squarecode.visualstudio.comvermaterc@lemmy.mlMEnglish · 2 months agomessage-square0fedilink
vermaterc@lemmy.mlMEnglish · 2 months agoTop coding agents among OpenRouter usersplus-squareopenrouter.aiexternal-linkmessage-square0fedilinkarrow-up12arrow-down10
arrow-up12arrow-down1external-linkTop coding agents among OpenRouter usersplus-squareopenrouter.aivermaterc@lemmy.mlMEnglish · 2 months agomessage-square0fedilink
vermaterc@lemmy.mlMEnglish · edit-22 months agoLaunch of ARC-AGI-3 - next edition of a benchmark for agentsplus-squarewww.youtube.comexternal-linkmessage-square1fedilinkarrow-up13arrow-down10
arrow-up13arrow-down1external-linkLaunch of ARC-AGI-3 - next edition of a benchmark for agentsplus-squarewww.youtube.comvermaterc@lemmy.mlMEnglish · edit-22 months agomessage-square1fedilink
bremen15@feddit.orgEnglish · 2 months agoDafny as Verification-Aware Intermediate Language for Code Generationplus-squarearxiv.orgexternal-linkmessage-square2fedilinkarrow-up12arrow-down13
arrow-up1-1arrow-down1external-linkDafny as Verification-Aware Intermediate Language for Code Generationplus-squarearxiv.orgbremen15@feddit.orgEnglish · 2 months agomessage-square2fedilink
bremen15@feddit.orgEnglish · 2 months agoUsing formal methods to keep LLMs on trackplus-squarebrainflow.substack.comexternal-linkmessage-square1fedilinkarrow-up17arrow-down11
arrow-up16arrow-down1external-linkUsing formal methods to keep LLMs on trackplus-squarebrainflow.substack.combremen15@feddit.orgEnglish · 2 months agomessage-square1fedilink
vermaterc@lemmy.mlMEnglish · edit-22 months agoMaking Claude talk like caveman to cut 75% of tokensplus-squaregithub.comexternal-linkmessage-square2fedilinkarrow-up15arrow-down10
arrow-up15arrow-down1external-linkMaking Claude talk like caveman to cut 75% of tokensplus-squaregithub.comvermaterc@lemmy.mlMEnglish · edit-22 months agomessage-square2fedilink
vermaterc@lemmy.mlMEnglish · 2 months agoEight years of wanting, three months of building with AIplus-squarelalitm.comexternal-linkmessage-square0fedilinkarrow-up12arrow-down10
arrow-up12arrow-down1external-linkEight years of wanting, three months of building with AIplus-squarelalitm.comvermaterc@lemmy.mlMEnglish · 2 months agomessage-square0fedilink
vermaterc@lemmy.mlMEnglish · 2 months 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-square0fedilinkarrow-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 · 2 months agomessage-square0fedilink
vermaterc@lemmy.mlMEnglish · 2 months agoCursor 3plus-squarecursor.comexternal-linkmessage-square0fedilinkarrow-up12arrow-down10
arrow-up12arrow-down1external-linkCursor 3plus-squarecursor.comvermaterc@lemmy.mlMEnglish · 2 months agomessage-square0fedilink
vermaterc@lemmy.mlMEnglish · 2 months agoCline Kanban - manage coding agents using kanban boardplus-squarecline.botexternal-linkmessage-square0fedilinkarrow-up12arrow-down10
arrow-up12arrow-down1external-linkCline Kanban - manage coding agents using kanban boardplus-squarecline.botvermaterc@lemmy.mlMEnglish · 2 months agomessage-square0fedilink
vermaterc@lemmy.mlMEnglish · 2 months agoSummary of Claude Code source leakplus-squaredev.toexternal-linkmessage-square0fedilinkarrow-up12arrow-down10
arrow-up12arrow-down1external-linkSummary of Claude Code source leakplus-squaredev.tovermaterc@lemmy.mlMEnglish · 2 months agomessage-square0fedilink
