vermaterc@lemmy.mlMEnglish · 1 month agoA Robot is Sprinting Towards You: Do You Want it Running on Claude or Grok? — OpenRouter Blogplus-squareopenrouter.aiexternal-linkmessage-square0linkfedilinkarrow-up11
arrow-up11external-linkA Robot is Sprinting Towards You: Do You Want it Running on Claude or Grok? — OpenRouter Blogplus-squareopenrouter.aivermaterc@lemmy.mlMEnglish · 1 month agomessage-square0linkfedilink
vermaterc@lemmy.mlMEnglish · 1 month agoSpaceX to acquire the AI coding startup Cursor for $60 billionplus-squarewww.cnbc.comexternal-linkmessage-square0linkfedilinkarrow-up12
arrow-up12external-linkSpaceX to acquire the AI coding startup Cursor for $60 billionplus-squarewww.cnbc.comvermaterc@lemmy.mlMEnglish · 1 month agomessage-square0linkfedilink
ComradePenguin@lemmy.mlEnglish · 2 months agoBest quality/price AI for coding?plus-squaremessage-squaremessage-square2linkfedilinkarrow-up12
arrow-up12message-squareBest quality/price AI for coding?plus-squareComradePenguin@lemmy.mlEnglish · 2 months agomessage-square2linkfedilink
ComradePenguin@lemmy.mlEnglish · 2 months agoWhat AIs do you use for agentic coding and why?plus-squaremessage-squaremessage-square12linkfedilinkarrow-up15
arrow-up15message-squareWhat AIs do you use for agentic coding and why?plus-squareComradePenguin@lemmy.mlEnglish · 2 months agomessage-square12linkfedilink
vermaterc@lemmy.mlMEnglish · 2 months agoAI costs how much? GitHub Copilot users react to new usage-based pricing system.plus-squarearstechnica.comexternal-linkmessage-square1linkfedilinkarrow-up114
arrow-up114external-linkAI costs how much? GitHub Copilot users react to new usage-based pricing system.plus-squarearstechnica.comvermaterc@lemmy.mlMEnglish · 2 months agomessage-square1linkfedilink
davel [he/him]@lemmy.mlEnglish · 2 months agoBun Migrated from Zig to Rust in DAYS. But the Code...plus-squarewww.youtube.comexternal-linkmessage-square0linkfedilinkarrow-up12
arrow-up12external-linkBun Migrated from Zig to Rust in DAYS. But the Code...plus-squarewww.youtube.comdavel [he/him]@lemmy.mlEnglish · 2 months agomessage-square0linkfedilink
vermaterc@lemmy.mlMEnglish · 3 months agoIntroducing GPT-5.5openai.comexternal-linkmessage-square0linkfedilinkarrow-up12
arrow-up12external-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-up12
arrow-up12external-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-up12
arrow-up12external-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 · 3 months agoIntroducing Claude Opus 4.7plus-squarewww.anthropic.comexternal-linkmessage-square0linkfedilinkarrow-up11
arrow-up11external-linkIntroducing Claude Opus 4.7plus-squarewww.anthropic.comvermaterc@lemmy.mlMEnglish · 3 months agomessage-square0linkfedilink
vermaterc@lemmy.mlMEnglish · 3 months agoI ran Gemma 4 as a local model in Codex CLIplus-squareblog.danielvaughan.comexternal-linkmessage-square0linkfedilinkarrow-up11
arrow-up11external-linkI ran Gemma 4 as a local model in Codex CLIplus-squareblog.danielvaughan.comvermaterc@lemmy.mlMEnglish · 3 months agomessage-square0linkfedilink
mystic-macaroni@lemmy.mlEnglish · 3 months agoAre there any local foss coding agents? What would you suggest?message-squaremessage-square2linkfedilinkarrow-up11
arrow-up11message-squareAre there any local foss coding agents? What would you suggest?mystic-macaroni@lemmy.mlEnglish · 3 months agomessage-square2linkfedilink
bremen15@feddit.orgEnglish · 3 months agoyoutube lecture of dafny for LLM codingplus-squareyoutu.beexternal-linkmessage-square0linkfedilinkarrow-up11
arrow-up11external-linkyoutube lecture of dafny for LLM codingplus-squareyoutu.bebremen15@feddit.orgEnglish · 3 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-up11
arrow-up11external-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-up11
arrow-up11external-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-up11
arrow-up11external-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-up11
arrow-up11external-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-up11
arrow-up11external-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-up11
arrow-up11external-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-up11
arrow-up11external-linkEight years of wanting, three months of building with AIplus-squarelalitm.comvermaterc@lemmy.mlMEnglish · 4 months agomessage-square0linkfedilink
