Tag
作者将 1982 年 64KB PDP-11 Unix 的 init.d、fork/wait 与 overlay 机制类比到 LLM 编码代理的上下文压缩问题,通过编号状态文件(write-once 锁存、append-only 负记忆、WAL 式回放)让代理在 200k-token 压缩后不丢失关键不变量。
Ars Technica reports on a study showing AI coding agents boost code output but slow overall delivery, with pull request review times rising 49%, changes-requested rates nearly doubling, and no significant employment changes attributable to AI so far.
GitHub 分享了 GitHub Universe 2026 上值得关注的 10 场技术讲座,主题涵盖验证 AI 代理编写的代码、代理记忆与评估、npm 依赖安全、MCP 服务器的细粒度授权以及在弱网环境下构建软件等。
Shopify 回归原生移动应用后,作者认为真正的转变不是性能问题,而是 AI 编码智能体让编写代码不再昂贵,从而把重心转向形式化验证等更难的工程环节。
Hypervibe 是一款面向 macOS 的原生应用,可在无限画布上并行运行 Claude Code、Codex、Gemini 等 CLI AI 编码代理,提供真实终端、代理状态、团队协作、语音控制和实时预览功能。
A tech commentator questions where all the new software innovations are, noting that despite powerful AI coding agents enabling people to build new things quickly, they are not seeing many cool new products or innovations from others or companies.
Remocn Studio 是一款免费、开源的 macOS 应用,让你用 Claude Code、Codex、Copilot 或 Grok 以真实 Remotion 项目的方式生成发布视频,支持实时预览、点击元素调整、聊天式修改和最高 4K 的 MP4 导出,无需时间线也不锁定平台。
Bentomux launched on Product Hunt as a calm desktop app for running coding agents side by side, featuring project workspaces, persistent split-pane terminals, live agent state, and approvals.
A developer-focused author announces a coming post aimed at company leaders on navigating the shift to AI coding agents, asking readers about the problems they face with leadership adoption of these tools.
作者分享了一个使用 AI 编程代理的工作流,并制作了视频辅助说明,建议读者将自己的文章内容喂给 Codex 或 Claude Code 让代理理解整个流程;他全程使用 Astra medium,消耗了大约 2-3 管 Pro 每周额度,认为用 Opus 5.5 效果可能更好。
A developer building apps with AI coding agents (Cursor, Claude) discovered that agents often write Supabase RLS policies that look secure but aren't, prompting them to build a small CLI security scanner that found 95 findings (12 high severity) in their own repo—including a live service-role key in public HTML and stale policies exposing an access-key table.
Hillel Wayne explains what properties TLA+ can verify (safety invariants, action properties, liveness) and which limitations remain, tempering the hype around formal methods after Boris Cherny mentioned Claude's Opus finding race conditions with TLA+.
The article explores the challenges of controlling AI coding agents after code changes, proposing an engineering control plane for permissions, verification, and human approval.
Harness Router is a decision layer for AI coding agents that improves tool selection before execution using Jev for ambiguity and MCTS for multi-step consequences.
A user shares their experience switching from Devin to Hermes due to contract disputes, highlighting cost savings and questioning the sustainability of scaling revenue for AI coding agents.
Vantage is a free, open-source tool that monitors and controls the usage and costs of AI coding agents, offering session logs and guardrails.
This preprint paper proposes a customizable router for AI coding agents in enterprises to optimize costs by intelligently routing requests, saving 14-21% of model spend annually for large companies.
RemoteConsole is a mobile SSH terminal for developers to manage and steer AI coding agents like Claude Code or Codex from their phones, with features for NAT traversal, voice control, and an SFTP browser.
The article explores the debate over whether AI coding agents should have the autonomy to merge their own pull requests, highlighting the distinction between code generation and deployment decisions in software workflows.
The article discusses defining trust boundaries for AI coding agents in software development, questioning their authority over critical actions like merging code.