编码代理

The ‘Pain in the Ass’ Math That Could Save Vibe Coding From Itself

A new startup called &Truth is joining the race to automate formal verification, a painstaking process that uses math to prove software works as intended.

korean solo dev, 5 months making WW2 RTS with Claude Code. game works but nobody looks at it. how do you get attention?

korean solo dev, bad english so translator help me. making WW2 tank RTS with claude code since may. yesterday on r/RealTimeStrategy people said it looks like Gates of Hell, made me happy. but every post gives only 1 to 3 wishlists. i dont know if my editing is bad or nobody is in

DeepSeek 开源 Harness：对标 Claude Code，还能让多个 Agent 一起干活

📌 一句话摘要 DeepSeek 开源了 Agent 框架 Harness，通过 Workflow 编排和插件化设计，允许用户组织多个 Agent 协作完成复杂编程与办公任务。 📝 详细摘要 DeepSeek 发布了开源 AI Agent 框架 Harness，其核心理念是“Agent = Model + Harness”。该框架支持通过 Workflow 工具实现多个 Agent 协同工作，并允许灵活切换底层模型（如 DeepSeek， Claude， OpenAI）。用户可以通过 Creator 模式通过对话创建自定义 AI 插件。文章详细介绍了 H

Akai is embracing vibe-coded mods with an open-source MPC

The MPC Sample Key looks like the MPC Sample just with keys instead of pads. | Image: Akai The MPC Sample Key isn't even formally announced yet, but Akai is already showing off what the modding community is cooking up through vibe coding. Akai has decided to embrace the explosion

Notch Metrics

Use claude code to build analytics widgets for your notch Discussion | Link

Claude Code regularly sends each background agent’s transcript to its model

App Store Screenshots

Your coding agent designs your app store screenshots Discussion | Link

How I trick Claude Code into letting me stay up past my bedtime

Claude Code keeps telling me to go to bed. I'm 49 years old. I don't need my AI telling me when it's bedtime. Anyway, I figured out how to outsmart it. Made a little video about our dysfunctional working relationship.

犹他州 10 个州政府部门 34 名开发者试点使用 Claude Code

Boris Cherny 介绍犹他州向 10 个州政府部门的 34 名开发者提供了 Claude Code。试点显示 80% 的开发者在 30 分钟内搭好可用环境，71% 的开发者在为期四周的试点结束前报告节省了 20 小时以上时间。该推文引用了 Anthropic 与 GSA 合作将 Claude 以 40% 折扣提供给联邦及各级政府的公告作为背景。 🔗 阅读原文 via AIHOT · https://aihot.news/items/fbxzb7x7fzbjn0dmf367ywxrm

滴滴开源 HelixHarness：让团队 AI Coding 稳定交付

📌 一句话摘要 滴滴技术团队开源 HelixHarness，通过结构化工程上下文和标准化工作流，解决 AI Agent 在复杂真实工程环境中的稳定交付问题。 📝 详细摘要 本文介绍了滴滴金融技术团队开源的 HelixHarness 项目，旨在解决 AI Coding 在团队落地过程中面临的工程化支撑不足、过程不可观测、评测缺失及框架适配等挑战。通过构建 Knowledge、Harness、Specs、Hooks 四层工程上下文，将项目知识、规范约束和需求契约结构化，并结合初始化、方案设计、执行和验证的标准工作流，确保 Coding Agent 能够理解项