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