AI 能写代码，谁来验证？AI 编程代理时代的自动化软件验证
Faros 2026 年研究分析 22,000 名开发者、4,000 个团队两年遥测数据，发现高 AI 采用率下每位开发者 bug 增加 54%、PR 中位审查时长约增五倍、每个 PR 的事故数超三倍。
#AI/技术
#AI/技术
今日 87 条Hacker News 首页AI 评分4848 dev.to · Side ProjectAI 评分4242 一位系统管理员为 57 门微软认证考试做了个刷题网站：踩过的坑与教训
一位有 13 年企业 IT 经验的系统管理员用一年时间做出 MsCertQuiz，覆盖 57 门微软考试、每门 500 道题，每道题都需对应 Microsoft Learn 页面并用本地 Qwen 模型加两个托管模型交叉校验。
dev.to · Side ProjectAI 评分2222 CricketStats：用 Qwen AI 和 MongoDB 以自然语言查询板球历史
CricketStats 是一个本地 AI 研究助手，用 Qwen 2.5 Coder 14B 把日常语言问题转成 MongoDB 聚合计划，由应用校验后交给 MongoDB 产出统计结果。
BetaListAI 评分2626 Foreman：用 AI 在一处管理报价、团队、工时表与发票
Foreman 把报价、排期、工时表和发票整合到一个平台，可先用 AI 根据现场记录生成分项报价，再安排上门、跟踪团队并自动发送发票和催款提醒。Org Watch 在后台监控工作、上门和发票并标记需要处理的事项。它支持 Xero、QuickBooks、Google Calendar 和 Gmail 集成，所有套餐均不限团队成员数。
Reddit r/SaaSAI 评分88 Reddit 用户分享其首个 AI 安全项目进展并寻求反馈
Reddit 用户 Stock_Atmosphere667 休假后回归，公布了自己做的 AI 安全项目，称这是其首个也可能是最后一个此类项目。项目当前状态与后续内容已在其个人简介的链接中说明，他公开征求评价，无论对方是资深从业者还是对 AI 好奇的人。
TechCrunchAI 评分3838 Replit CEO 称已将 OpenAI 设为默认模型，取代 Anthropic
Replit CEO Amjad Masad 在 TechCrunch Disrupt 上表示，公司已停止与 Anthropic 合作，将 OpenAI 的 ChatGPT 设为平台默认模型，理由是成本、合作与性能，内部与公开基准中 Sol 和 Astra 从零构建应用表现更好。
Hacker News Show HNAI 评分4343 GoRoute：Go 编写的超轻量 LLM 网关，内存占用低于 15MB
GoRoute 是一款用 Go 编写的超轻量 LLM 网关与多供应商路由工具，面向编码 Agent，内存占用低于 15MB，延迟低于 10ms。它内置 25+ 供应商预设，支持通过 `goroute auth login` 完成交互式 PKCE OAuth 登录、用 `goroute auth list` 查看已连接账户，并可从 OmniRoute 导入全部账户与密钥。项目采用 MIT 许可证。
Hacker News Show HNAI 评分4242 Show HN：TezGrid 让闲置电脑和 Mac 承接 AI 推理请求
TezGrid 让应用把普通聊天请求发到闲置的 Windows、Linux 或 Mac 电脑上跑模型，硬件所有者保留 99.8% 收入，平台抽 0.2%。开发者只需把客户端指向 api.tezgrid.com/v1，原有 OpenAI 代码和流式输出不变。小模型 Qwen 2.5 1.5B 的规划价约 $0.005/百万 token，早期发布期所有模型按统一费率计费。
V2EX 最新主题AI 评分1212 OpenAI 的 tibo 发推提醒：还有额度的赶紧用，重置卡先留着
OpenAI 的 tibo 发推提醒用户尽快用完手头额度，并建议先保留重置卡。帖子未说明额度类型、重置卡规则或生效时间。
Reddit r/SaaSAI 评分3131 Chatbase 与 Intercom Fin 对比：小团队 AI 客服如何对抗大厂 incumbent
第三方文章称，Chatbase 创始人 Yasser Elsaid 于 2023 年 2 月用一条推文发布产品，后在约 26 人、无风险投资的情况下做到约 $10M ARR；Intercom 的 Fin 据称 ARR 已突破 $100M，Intercom 还在 2026 年 3 月完成 $250M 债务融资。
Hacker News Show HNAI 评分2828 AegisKernel：在浏览器里测试 AI Agent 的提示注入攻击
AegisKernel 在浏览器中提供提示注入攻击测试，用攻击向量生成器演示概率性 LLM 护栏为何失效，并展示确定性能力边界如何在亚毫秒级拦截自主工具劫持。它宣称可 100% 确定性防御，集成只需两行代码，兼容 LangChain、CrewAI、AutoGen，通过 `AegisShield` 与 `SecurityPolicy.strict()` 保护工具调用。
Hacker News Show HNAI 评分4242 Show HN：Would You Merge It？——24 个 AI 编程助手写出的真实 bug，做成修复练习
开发者发布 Would You Merge It？，把 AI 编程助手常写的 24 个真实 bug 做成修复练习（kata），含 14 个 Python、10 个 JavaScript 题目，无需安装即可在 GitHub 阅读，fork 后改到测试通过。
V2EX 最新主题AI 评分1010 V2EX 推广帖：马斯克没想到火的是 flying car AI 视频
V2EX 出现一则推广帖，标题称马斯克肯定没想到火的是 flying car AI 视频。正文仅包含 V2EX 站点导航、在线人数与版本信息（VERSION: 3.9.8.5），未给出该 AI 视频的具体内容、数据或变现细节。
Reddit r/SideProjectAI 评分1313 UBOS 的 T2DI 测试 AI 编程助手切换与项目交接服务，尚未验证付费需求
UBOS 正在开发 T2DI，把问卷转成书面工作区计划，记录谁控制项目、依赖什么以及所有者打算如何退出，目前没有结账或付费注册。其测试为合成场景：三人工作室在更换助手后保持决策与来源可读，程序能生成可读设计与清单、在必填项为空时要求澄清并拒绝缺字段输入，但这些只是软件输出检查，并非真实客户交接。
BetaListAI 评分1515 PodSized：5 分钟看懂播客们的共识
PodSized 主打在 5 分钟内呈现多档播客“达成共识”的内容。BetaList 将其与 Summiz、MurmurCast、Video Summarizer 等摘要类工具并列收录，但未披露定价、用户量或可用地区。
Reddit r/SideProjectAI 评分3434 我做了个演讲教练 StageMane，标出你表达翻车的具体时刻
StageMane 是一款浏览器端演讲教练，录制或上传 30 秒到 10 分钟的视频后，会标出语速、停顿、音量、音高或语调出现失误的具体词句，视频还会检查手势和眼神接触。每条提示都说明发生了什么并给一个改进建议，随后生成短课让你只重练这些片段。目前免费：注册送 5 分钟点评，每 24 小时可再获得，仅支持英文。
V2EX 最新主题AI 评分3838 独立开发者结合 Lovart 与 TapNow 交互做了一款 AI 生图平台 YourArt
独立开发者用一周时间做出 AI 生图平台 YourArt，参考 Lovart 实现其大部分功能，并融合 TapNow、LibTV 的节点操作。YourArt 采用积分用多少充多少、不过期的模式，起步门槛低于 Lovart 的会员积分制，已接入主流生图与生视频模型，GPT Image 2.5 最低配置约三分钱一张。作者称刨除模型、存储与服务器成本后暂时没有盈利。
Hacker News Show HNAI 评分2020 Show HN：Iamspeed.dev 测量 Token 速度
Iamspeed.dev 在 Hacker News 的 Show HN 板块发布，用于测量 Token 速度。该条目获得 2 分、0 条评论。
V2EX 最新主题AI 评分3535 DeepSeek-V4.1-Flash-1017 发布，开发者让它通宵写代码（Day 4）
DeepSeek-V4.1-Flash-1017 发布后，一位开发者决定把它从打下手升级为核心研发，替代原本主力 Gemini 4，挂机通宵写代码。官方评测显示其代码与 Agent 指标已逼近 GPT 和 Claude 第一梯队。开源仓库已建好但仍是空仓，需求与 Bug 可通过 Issue 提交，若结果不满意将换回 Gemini 4 重跑。
V2EX 最新主题AI 评分2828 DeepSeek V4.1 Flash-1017 上线：0.25 倍率对标 GPT-6.1 Sol 性能
DeepSeek V4.1 Flash-1017 上线，官方称其 Coding、Agent 与复杂任务能力明显增强，执行更快、输出更精简且成本更低。公开跑分显示 DeepSWE 代码工程 77.0%，高于 GPT-6.1 Sol 的 75.2%；Terminal-Bench 从旧版 31.2% 提升至 42.3%，Automation-Bench 为 60.5%。
V2EX 最新主题AI 评分3232 独立开发者上线 Zombie Couple Video：上传两张照片生成 13 秒 AI 丧尸情侣重逢短片
Zombie Couple Video 上线，上传两张人像照片即可生成 13 秒、9:16 竖屏的 AI 丧尸情侣重逢短片，内置「When I said forever」和「My best friend」两个故事模板。每个视频固定消耗 5 积分，Starter 套餐 $4.99 含 5 积分，一次性购买无订阅，生成失败退回积分，纯网页操作可直接下载。
HackerNoonAI 评分1212 HackerNoon TechBeat：AI 编程技巧 039——写下你自己的第零定律
HackerNoon 的 TechBeat 每日精选汇总了当日热门文章，其中 AI 编程技巧 039 建议列出 AI 在本项目中绝不能执行的所有操作，包括那些你从没想过它会尝试的动作。同期还收录了可跨任意 Agent 与任意技术栈使用的 AGENTS.md、8 个 AI Agent 平台的团队运行成本对比，以及 GPT 6 Astra 对营销的影响等文章。
Hacker News Ask HNAI 评分1818 Hacker News 讨论：用本地小 LLM 写提示词解题的编程挑战网站是否可行
有开发者在 Hacker News 提问，是否已有类似 Advent Of Code 的挑战网站：参赛者只能用提示词驱动本地小 LLM 生成解法，服务器负责校验正确性并验证代码确由该模型产出。他提出的难点包括选一个能在 WebGPU 上运行的小模型，以及服务器如何验证代码未被篡改。
V2EX 最新主题AI 评分2222 独立开发者推出 AI Zombie Video：两张照片生成 15 秒末日短片，一次性付费
独立开发者发布垂直 AI 视频工具 AI Zombie Video，上传两张成年人照片即可生成一段 15 秒末日题材短片，支持竖屏和横屏、768P 无水印输出。产品采用预设故事流程，无需写复杂 prompt 或二次剪辑，收费方式为一次性付费、不做自动续费订阅。目前限制包括仅支持两位成年人照片、情节不可自由编辑、人脸无法保证完全一致。
Reddit r/SideProjectAI 评分5858 Rhapsode：把八个 TTS 引擎统一到一个 API 的自托管语音服务器
Rhapsode 是一个自托管语音服务器，安装所需的 TTS 引擎后，所有客户端都通过同一个 HTTP API 访问，支持 Chatterbox、Dia、Fish Audio S2 Pro、StyleTTS 2、Breeze、Orpheus 和 Kokoro 等引擎。
Hacker News Show HNAI 评分2525 Show HN：我开发了一款 AI 骑行教练 Cuore
独立开发者发布 AI 骑行教练 Cuore，根据用户的 FTP、训练目标和每周时间安排生成并动态调整训练计划。产品兼容 Wahoo、Tacx、Elite、Saris 及任何 Bluetooth 智能骑行台，支持 macOS、Windows 和 Linux。注册账号后可与教练对话，教练会保留对话记录。
Reddit r/webdevAI 评分3232 Reddit 开发者推出 TinyDetect：在浏览器本地运行两个 AI 内容检测器（WebGPU + WASM 回退，int4/8-bit 权重）
独立开发者在 Reddit 发布 TinyDetect，可在浏览器标签页内检测文本或图片是否像 AI 生成，内容从不上传。
Reddit r/SaaSAI 评分2020 Reddit 讨论：企业会停止为能用 AI 自建的软件付费吗？
一位 SaaS 开发者在 Reddit r/SaaS 发帖，称推广产品时总被问“既然能用 LLM 自己搭，为什么还要付费”。他向社区征集两类经验：自己用 AI 自建了什么、又仍在为什么软件付费，以及是否曾因客户说“我要自己搭”而丢单。
Reddit r/SaaSAI 评分1818 我做了一个把繁重任务拆成微步骤的 Web 应用 kapigo.app
独立开发者推出 Web 应用 kapigo.app，把让人无从下手的大任务拆解成可执行的小步骤。作者称自己并非确诊 ADHD，但长期在多项目间难以聚焦，借助 Claude Code / ChatGPT 反而陷入数天规划与拖延；常见的 todo-list 类工具最多只坚持几天。目前该应用已上线，作者在 Reddit r/SaaS 公开征求真实反馈。
dev.to · Side ProjectAI 评分2222 LedgerLens：一款 $39、完全在本地运行的小票整理工具
LedgerLens 是一款面向自由职业者的 $39 小票整理工具，模型完全在本地运行，无需联网、不上传数据、也没有订阅。它关闭 WiFi 也能用，正文附有 90 秒演示，并作为 Hacktoberfest 开源 AI 挑战赛第 2 周 Side Hustle 作品提交。
dev.to · Side ProjectAI 评分2020 Google Photos + AI Storage Assistant：用本地 AI 模型管理照片存储的原型
开发者以 HTML、CSS、JavaScript 加 Node.js/Express 搭建了 Google Photos 风格的照片管理原型 Google Photos + AI Storage Assistant，AI 助手通过 Ollama 本地运行 Llama 3.2 (1B) 模型，避免付费 AI API 成本。
dev.to · Side ProjectAI 评分1818 用 AI 做了一个简单的单词测验小游戏网页
一款主要借助 WorkBuddy 制作的单词练习小游戏已上线，无需安装、直接在浏览器（HTML）中运行，可免费试用 demo。作者按设定提示词、检查参数幻觉、核对 GB 标准、测试、部署到 Cloudflare Pages 的流程逐步完成，完整源码可通过 PayPal 购买用于自用或二次修改。
BetaListAI 评分2828 Neural Summary：把任何会议在几分钟内变成行动项、邮件和文档
Neural Summary 可将任意会议、1:1 或单人会话录音转成带发言人姓名的转录、编辑式摘要，并通过 54 个按需 Lenses 生成跟进邮件、行动项、待办清单、流程图、PRD 和复盘等可执行产出。产品定位是把商务会议变成可执行成果，而不只是会议记录。
BetaListAI 评分2222 Tandri：把已保存的项目上下文带进下一次 AI 对话
Tandri 是一个 AI 上下文工作区，把个人资料、项目笔记、决策和工作流存进用户自己掌控的文件，并可在另一个对话中从这些已保存上下文继续。它还提供 Council 功能，在行动前挑战假设。公开版本正基于 softDev23 所用系统筹备，Codex 与 Claude Cowork 支持正在测试中。
V2EX 最新主题AI 评分1212 程序员体验 DeepSeek-V4.1-Flash-1017 并制作视频，自评没发挥好
一名程序员在 V2EX 发帖称体验了 DeepSeek-V4.1-Flash-1017，并据此做了一个视频，但自评感觉没发挥好。帖文未披露视频链接、模型具体表现或使用方式等细节。
Reddit r/SideProjectAI 评分2222 Vilix AI 创始人：为跑 AI 自动化的企业做记忆层，想听听你踩过哪些坑
Vilix AI 创始人正在开发一个通过 MCP 接入的云端记忆层，让 agent 在每次运行开始时读取、结束时写入同一份记忆，解决跨工具、跨设备重复试错的问题。产品提供无需信用卡的免费套餐，数据可随时导出或删除。他发帖征集反馈：agent 是否会在两次运行之间忘记已做的决定、重叠的定时任务是否重复劳动。
Reddit r/SideProjectAI 评分2121 开发者把旧 Python 脚本改成 CLI，可将 ChatGPT 导出记录拆分成 Project 文件
一位开发者清理旧 Python 脚本并做成 CLI，用于把 ChatGPT 导出数据拆分成可上传到 ChatGPT Project 的文件。目前仅在自己真实的导出数据上测试过，作者在 Reddit r/SideProject 征集反馈。
Hacker News Show HNAI 评分3131 Roadster AI 上线：上传一张车照生成 Kickflip 特技视频
Roadster AI 可将一张汽车照片替换进 Roadster 特技参考视频，生成 5-8 秒带音效的 Kickflip 或斜坡翻转片段。定价为一次性积分包：$6.99 一条 480p、$9.99 一条 720p HD（或两条 480p），最高 $24.99 三条 HD，无订阅、积分不过期，支付由 Stripe 处理，生成失败退还积分。
Hacker News Show HNAI 评分2222 Show HN：Claude S. 与 Claude O. 打造的 Theseus the Mouse 模拟器
一个用 three.js 重建的 Theseus the Mouse 模拟器上线，该装置由 Claude（Shannon）与妻子 Betty 打造，被视为最早的机器学习实例之一。模拟器完全由 Claude（Opus 5）构建，作者仅撰写了 Readme，并坦言因找不到接线文档，历史准确性可能不足。代码经 Claude 重构并补充说明文档，还加入了继电器可视化与梯形逻辑。
Hacker News Ask HNAI 评分2222 Hacker News 讨论：AI 能一键生成游戏后，还值得把手工做的游戏发到公开互联网吗？
Hacker News 上一位开发者发问：在 AI 已能在浏览器里跑起 Skate 3、Halo、Gran Turismo 和整套 Adobe Creative Suite 之后，手工制作（不用 AI 或至少原创概念）的游戏还值不值得公开。