Full-text search across 31918 articles. Combine with topic and date filters; results sorted by relevance.
A team built a prototype that verifies code migration from F# to Python using a proof in the Lean theorem prover, rather than relying on tests. The system translates both the original and rewritten code into Lean, then p…
A developer warns that relying on LLMs to write code without following best practices leads to accumulating code smells, as the model learns from and replicates bad patterns in the codebase, making future maintenance har…
Hamza built Satori, an open-source, read-only codebase map for MCP-compatible AI coding agents. It provides a structured investigation path to help agents efficiently navigate symbols, ownership boundaries, and dependenc…
LangChain released OpenWiki, an open-source tool that uses an AI agent to automatically generate and maintain a structured wiki for codebases, keeping documentation synchronized with code changes via CI integration. The …
AI can now write code dramatically faster than human developers, raising questions about the future value of programmers. The author argues that while AI makes coding cheaper, it does not make building real software easi…
A developer tested ChatGPT (GPT-5.2), Claude (Opus 4.8), Gemini (3.1 Pro), and Grok 4 on the same real coding tasks and found that the best model depends on the specific job. For debugging, reasoning-heavy models like Cl…
SpaceXAI released Grok 4.5, a general-purpose AI model trained alongside Cursor for coding, agentic tasks, and knowledge work, priced at $2 per million input tokens. The model claims superior token efficiency and ranks f…
A developer reports that DeepSeek V3, while fast at generating boilerplate code, over-engineers legacy code reviews by suggesting architectural rewrites that introduce race conditions, whereas Claude 3.5 Sonnet is more c…
Tako Research released TakoVM, an open-source sandboxing tool for AI agent code execution that provides Docker isolation, job queues, execution history, and retry logic out of the box. The tool aims to simplify secure co…
Assembled open-sourced 143.dev, its internal infrastructure for running coding agents as a team, under an MIT license. The system runs multiple agent harnesses in sandboxes and integrates with tools like GitHub and Slack…
Chamath Palihapitiya's AI coding startup 8090 raised $135 million in a Series A round led by Salesforce, with Palihapitiya taking the CEO role. The company sells a governed software factory platform that integrates AI ag…
VibeRaven, a new open-source tool for AI coding agents, provides production workflows that enforce evidence-based task completion, separating code fixes from provider dashboard work and requiring approval before risky ch…
A developer reports challenges maintaining software created with coding agents, citing reduced code familiarity and increased codebase complexity as developers rely on agents for productivity.
A developer built a tiny Darwin Gödel Machine in ~150 lines of code that improves its own code by editing itself and keeping only changes that verifiably increase test scores. The program started by passing 1 of 8 tasks …
A supply-chain attack on the @mastra AI-agent ecosystem saw an attacker republish 141 packages with a malicious dependency that targeted crypto wallets. The incident highlights how AI coding tools like Claude Cowork can …
Uber, DoorDash, and Cloudflare are deploying AI earlier in the software lifecycle to review product requirements, design documents, and code before human review. Uber's AI evaluates PRDs for clarity and risks, DoorDash's…
A developer built OpenCode Nexus, an open-source multi-agent workflow plugin for OpenCode that prevents context loss and enforces two-stage code reviews. The plugin uses four specialized agents—Orchestrator, Implementer,…
A developer released 'surface', a pattern and skill that lets coding agents build ephemeral web pages for structured user interaction, such as drag-to-rank boards or approval buttons, and autonomously process submissions…
A developer shares strategies for effective AI-assisted code review, emphasizing specificity in prompts to get actionable feedback rather than generic comments. Techniques include asking about performance concerns, edge …
A developer reflects on the rise of 'vibe coding' jobs that require AI-assisted development skills, arguing that experienced engineers who understand software fundamentals can leverage AI tools to become more productive …