17 岁开发者做了个不给答案的 AI 数学辅导工具 theoremed.com
17 岁开发者推出 AI 数学辅导工具 theoremed.com，用户输入或拍照上传带解题过程的题目，它会定位出错的那一行并只针对该处提一个问题。提示需主动索取才会逐步放大，但始终不给最终答案，即使搬出"老师说可以"也不例外。首页可直接免费试用，无需注册账号。
主题：模型价格与额度
主题：模型价格与额度
今日 115 条Reddit r/SideProjectAI 评分2323 Reddit r/webdevAI 评分2222 用类型化答案决策模型做 LLM 评审：200 条标注金标准集与逐项一致率
一个 Next.js + Postgres + Drizzle 应用用类型化答案决策模型充当 LLM 评审，并配 200 条标注金标准集检验逐项一致率。
Vercel NewsAI 评分3434 Vercel AI Gateway 日志新增 Sessions 视图，展示会话亲和性路由
Vercel AI Gateway 日志新增 Sessions 视图，把请求按会话分组并展示会话亲和性如何路由每一次请求。每行显示运行该会话的编码 agent 或应用（如 Claude Code、Codex、Cursor）及其成本、模型、提供商和输入缓存比例，点开可看缓存命中率、时长与逐轮路径。
Hacker News Ask HNAI 评分1212 独立开发者征求对 Monetario AI 的意见：用本地数据展示宏观经济事件对个人投资组合的影响
一名大学生独立开发者正在开发 Monetario AI（getmonetario.com），用于展示宏观经济事件如何影响用户的个性化投资组合与持仓。该应用将所有数据保存在本地，并提供简化解释，帮助用户做出更明智的决策。开发者强调它目前定位为教育类金融应用，不提供投资建议，并公开征求反馈与注册试用。
Reddit r/SideProjectAI 评分2020 Bachground Video Composer 1.0 发布：独立团队称其为最好的视频转音乐工具
独立团队发布 Bachground Video Composer 1.0，称其是目前市面上最好的视频转音乐工具。该版本强调更好的音乐、对素材更准确的理解以及对配乐的完全控制。团队邀请用户自行试用并反馈意见。
Hacker News Show HNAI 评分4747 InBox Wall：为 AI 助手清洗邮件 HTML 的开源本地工具
InBox Wall 是一个本地优先的开源 Python 应用，在 AI 助手处理邮件前清除隐藏文本、不可见 Unicode 字符和已知提示注入模式。它通过 IMAP 只读拉取邮件，将安全文本存入本地 SQLite 数据库，并通过本地 REST API 和 MCP server 提供给 AI 工具，被拦截内容隔离在独立 vault 数据库。
Hacker News 首页AI 评分4848 AI 能写代码，谁来验证？AI 编程代理时代的自动化软件验证
Faros 2026 年研究分析 22,000 名开发者、4,000 个团队两年遥测数据，发现高 AI 采用率下每位开发者 bug 增加 54%、PR 中位审查时长约增五倍、每个 PR 的事故数超三倍。
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 评分1212 问在线店主：你们怎么处理支付对账？
一位 Reddit 用户在 r/SaaS 向在线店主提问：如何核对订单、支付交易与结算打款，当数字对不上时如何找出差异原因。问题还询问店主是手动核对、用表格还是靠会计软件，以及哪一步最耗时、最易混淆、哪些任务因工具不给力仍需手动完成、这类问题多久出现一次。
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 和复盘等可执行产出。产品定位是把商务会议变成可执行成果，而不只是会议记录。