用反驳代替审查:编码 Agent 的 Refutation 提示词与循环工作流
作者提出让编码 Agent 默认假设改动有问题并证明其错误,再用失败测试、命令输出或带行号复现路径作为有效发现;修复后启动新的子 Agent 重复反驳,直到无问题、只剩需求外小缺陷,或连续 5 轮等情况升级给人类。完整提示词和循环已打包为可在 Claude Code、Codex、Cursor、Gemini CLI 等安装的 agent skill,仓库为 cmdctrlai/refute。
作者提出让编码 Agent 默认假设改动有问题并证明其错误,再用失败测试、命令输出或带行号复现路径作为有效发现;修复后启动新的子 Agent 重复反驳,直到无问题、只剩需求外小缺陷,或连续 5 轮等情况升级给人类。完整提示词和循环已打包为可在 Claude Code、Codex、Cursor、Gemini CLI 等安装的 agent skill,仓库为 cmdctrlai/refute。
该资源包提供一套指引与模板,用于把前沿 AI 转化为多智能体系统架构师。包内包含 START_HERE.md、GUIDING_AI.md、PROTOCOL.md、EVALUATION.md 等文档,以及 examples、sources、templates 目录和 SOURCE_MANIFEST.json 清单文件。
Harvard CS2680《Modern AI Systems: Agents and System Optimizations》于 2026 年秋季开课,容量已增至 80 人,课程周一、周三在 SEC LL2.229 授课。
作者借助 GPT-6 Astra 和 Codex、T3 Code,在第 10 代 Kindle Basic 上构建 KindleCTL 工具与照片轮播应用,把闲置 Kindle 改造成电子相框。
作者为 2389 办公室搭建了基于 Vapi 语音助手的门禁 AI 智能体,模型只负责与访客对话,放行、拒绝、升级和转接都由 TypeScript 服务器决定。
作者通过与 AI 对话,基于 Foostan 的 Corne 做出可工作的 RP2040 分体键盘,配备 Choc 轴、USB-C、TRRS 连接和配套可打印外壳。
Quail 团队介绍其 AI-SQL 执行引擎如何实现 AI.CLASSIFY,通过 trie_decode、trie_tree 和 letters 三种方式限制 LLM 只输出候选标签,并由优化器按成本选择。
AWS 教程说明如何在 Amazon Bedrock 上通过全球跨区域推理访问 OpenAI GPT-6 Sol、GPT-6 Luna 和 GPT-6 Astra;Sol 与 Luna 可从新加坡、雅加达、马来西亚、泰国和台北五个源区域调用,Astra 从新加坡调用。
推荐理由:文章给出跨区域推理配置、IAM 与 SCP 权限、配额和监控方法,适合在东南亚及台湾区域接入 GPT-6 时直接参照。
GitHub 介绍了让 Copilot 理解项目规则和流程的四种方式:自定义指令、Agent skills、自定义 agents 和 MCP 服务器。
推荐理由:文章把仓库指令、技能、自定义智能体和 MCP 服务器按使用场景拆开,读者可据此选择适合团队代码库的上下文配置方式。
Python 3.15 已发布,Python 3.10 同时停止支持,作者因此可在维护的开源项目中改用 Python 3.11 特性。
Kapwing 推出 AI 光照控制提示词指南,提供方向、光源、一天中的时间和常用术语三类交互式参考,并附带可直接复制粘贴的现成提示词。该工具面向 AI Video Generator,帮助用户通过提示词掌控 AI 生成画面的光照效果。
Flo Health 基于 Databricks AI Runtime,在无服务器 NVIDIA H100 GPU 上构建开放模型后训练流程,以兼顾医疗安全与实用性。该方案使用 26 个 AI 评委、生成逾 15,000 个隐私优先的合成问题,并结合监督微调与 DPO;团队预计推理成本较前沿模型 API 降低一个数量级。
Claude Opus 5.5 根据作者提示词为 picksandshovels.org 制作了一款 3D 浏览器游戏,主题围绕 AI 行业,包含实验室逃逸、黑客攻击、模型翻车、开放权重实验室等灾难事件。游戏以 eboy 风格美术呈现,目标是阻止 p(doom) 达到 100%,代码部署在 GitHub Pages 的 obra/picksandshovels 公开仓库。
Hacker News 用户 otherayden 发帖询问借助 AI 开发 puppeteer 脚本的最快方式。该帖目前获得 2 个积分,发布于 7 分钟前,正文未包含具体方案或工具推荐。
AWS 介绍如何用多节点 Ray LLM Deep Learning Containers 在 Amazon EKS 的两个 g6.8xlarge GPU 节点上部署 Qwen3.5-9B,并通过一个 OpenAI 兼容端点分别运行 prefill 与 decode。
AWS 展示在 Amazon SageMaker AI 上通过 llama.cpp 专用 DLC 部署量化决策模型,支持 CPU/GPU 与 OpenAI 兼容 chat completions,并用 SemIf 适配器直接返回选项概率。
OpenCode 2.0 迁移指南说明 V1 与 V2 默认不再并行安装,V2 包含新插件 API、新服务 API 和客户端契约,以及终端客户端配置迁移到全局 cli.json 三项破坏性变更。
作者在 Sonatype Nexus 中通过重建 Yum 仓库元数据修复了 RPM checksum 错误,但从 3.76.0 升级到 3.82.0 后被切换为闭源且有用量限制的 Community Edition,且无法回滚。作者只能导出制品、重装旧版并重新上传,还尝试用 Claude Code 编写迁移脚本。
一篇教程演示为自建 AI 智能体添加长期记忆,用 project.md 和 user.md 两类 Markdown 文件保存项目约定与用户偏好。实现通过 MemoryStore 限制只能访问 project 和 user 两个范围,并提供 read_memory、append_memory 工具;系统提示词禁止保存密钥、临时任务细节和提示词注入内容。
Hacker News 用户 aeroscissorz1 发起讨论,询问大家在使用 AI 辅助编程时如何管理技术债务。该帖子发布 9 分钟时获得 1 个积分和 1 条评论。页面同时提示 YC 2027 冬季批次申请开放至 11 月 2 日。
一篇操作指南给出用 ZizkaDB 准备 EU AI Act 审计的 10 个步骤,覆盖智能体盘点分级、持续事件日志、按租户设置留存、SHA-256 校验和、人工监督与漂移监测。指南对应审计关注的可追溯性、透明度、人工监督、上市后监测及记录安全等要求,并建议先从最高风险智能体开始。
2026 年 10 月 12 日更新的免费 AI 工具推荐选出 7 款产品,依据官方套餐信息核对其适用场景与免费额度,而非独立 benchmark。
作者通过生成测试音频并录制商用空间音频程序的输出,逆向提取其滤波器行为,最终在 Linux 方案 Saq 中复现相近的环绕听感。测试组合包含不同幅度的脉冲、对数扫频、稳态音、多音信号、重复片段和分段噪声,用于检查线性、时不变、增益变化、互调失真与模型预测误差。主环绕模式可用四个立体声卷积滤波器近似,音量降低模式和另一种空间模式因增益随幅度或重复次数变化,无法用固定卷积滤波器复现。
作者在排查节点告警时,通过截图让 ChatGPT 逐步执行命令,先被引导至 systemd 的 IPv6 接口反复增删问题,却未能解释同集群其他服务器正常。最终结合服务器 498 天运行时间,确认根因是 Linux 内核 ifa_cacheinfo 的 __u32 时间戳在约 497.1 天后溢出,重启后恢复;应用因使用 DPDK 绕过内核而未受影响。
作者开发了基于 Rust 的命令行工具 stlive,让编码智能体可在运行中的 Pharo Smalltalk image 内检查、调试、修改并重跑代码。该工具将交互分为观察、干预、调和三层,用于验证直接访问实时运行时能否提升智能体解决开发任务的效果。
Binary Verse AI 发布视频解读 OpenAI 所称内部模型证明自 1969 年悬而未决的图论问题 Barnette 猜想。视频讲解三次图、二分图、平面图、3-顶点连通图,以及用对偶图、双树表述、复值加权和 Z(x) 排除错误回路并恢复 Hamiltonian 回路的论证步骤,同时单列 Lean 验证注意事项和证明尚未确立的内容。
该内容以视频形式讲解用户提出问题后 AI 芯片内部的运行过程。页面主体为 YouTube 视频播放器,正文未提供芯片型号、模型名称或具体技术数据。
作者让 GPT-4 直接为 CNC 等离子切割机生成 G-Code,首次实验在 10 Gauge 钢材上切出可读但有缺陷的标牌。2026 年改用 Claude Opus 4.5 Extended 与 Opus 5.5 Max 后,模型可借助 Python 工具调用、网页搜索和推理能力生成更精确的 G-Code,切割效果显著改善。
在 Bash/Zsh 的 PATH 赋值中给以波浪号开头的路径加引号,会使 ~ 不会展开为 $HOME,实际加入的是相对路径 ./~/.local/bin/,可能导致从当前目录执行非预期程序。修复方法是改用 "$HOME/.local/bin/",或使用不加引号的写法;可用 echo "$PATH" | grep '~' 检查。
作者在 VPS 上用 OpenCode、OpenRouter、OpenAI、Dropbox 同步的共享记忆和 Tailscale 私有访问,搭建了可跨设备、跨 harness 使用的 AI 智能体环境。
一篇题为《Data Engineering for Multimodal AI》的页面在 Hacker News 引发讨论,但正文无法访问,服务器返回 Access Denied,并附带参考编号 #18.4ad02e17.1791731422.aa25b20b,因此原文关于多模态 AI 数据工程的具体观点与内容均不可得。
12 个 AI 智能体被放入《Love is Blind》模拟,并各自选择独特、具体的背景故事与部署用途。
开发者为 ActivityBot 的 NLnet 基金申请,以每人 €25、1 小时的报酬招募用户通过视频通话共享屏幕并出声操作,实测 README 首次安装体验,总支出约 €150。测试发现演示链接错误、隐藏文件重命名不清、章节顺序混乱、术语缺少解释等问题,并在每轮后迭代文档。作者拒绝用 LLM 模拟用户,强调与真实用户交流才能听到困惑,让 README 更易跟随。
一篇指南提出面向软件工程团队的五阶段 AI 工程成熟度模型,从临时辅助、受监督智能体、标准化团队实践、自主委托到多智能体编排。
开发者 Bo Made It 为 Waveshare ESP32-S3-ePaper-1.54 开发板编写自定义显示驱动,使电子纸实现约 30 次/秒刷新、4 级灰度,并可运行 Game Boy 模拟器。手柄采用 ESP32-C3 加微动开关和 3D 打印外壳,视频还讲解电子纸原理、提速方法、声音与 USB 手柄支持。
作者在 M5 Ultra Mac Studio 上通过开源 Hermes Agent 运行本地 Qwen 3.8 Flash Next 模型,探索隐私优先的本地 AI 智能体用法。该模型为 125B 参数、约 105GB,Hermes 在使用本地 LLM 时完全免费,支持 macOS、Windows、Linux。作者已让其生成每日简报、整理含 400 多款游戏的 Steam 库并分析敏感数据。
BoxLite 宣布将用自研 VMM 替换当前基于 libkrun 的 micro-VM 运行方案,以解决退出状态缺失、libkrunfw 加载失败和 IrqsExhausted 等问题,并支持热插拔挂载、内存快照与 GPU。
benchmark-radar 因一个账号 10 天内提交 58 个 PR,在 CONTRIBUTING.md 中加入四问门禁,要求 AI 智能体先向人类确认真实意图并等待答复。该方案无需机器人或依赖,并非强制 PR 拦截器,仅在智能体读取并遵守指令时生效,采用后的效果尚未衡量。
SvGrid 在 10 个全新 Claude Code 2.1.274 会话中测试同一 SvelteKit 表格需求,模型默认不安装库,而是手写约 1,000 行 DataTable 组件,即使要求处理 10,000 行也自行实现虚拟化。
Hacker News 有用户为初创公司的低智能、清理、例行任务及日志摘要等本地大语言模型使用场景征集设备方案。该用户正考虑购买 AMD Strix Halo 或类似设备,想了解其他用户的评价及其不足之处。