Terence Tao 回应 OpenAI 数学成果发布
Terence Tao 对 OpenAI 的数学成果发布作出回应。该讨论在 Hacker News 前页获得 19 点热度，暂无评论。
全部独立开发动态
全部动态
今日 0 条Hacker News 前页AI 评分1212 Hacker News 前页AI 评分6262 zerobrew 发布：Homebrew 包管理器的 100 倍速替代客户端，冷装中位快 5.3 倍
zerobrew 把 uv 式架构带到 macOS 和 Linux 上的 Homebrew 包，用内容寻址存储和 APFS clonefiles 做安装，100 个包的基准里冷装 776s 对 117s（6.6 倍）、热装 638s 对 9.3s（68 倍），中位包冷装快 5.3 倍、热装快 56 倍。
Hacker News 前页AI 评分6262 ts-rust：用 LLM 把 TypeScript 编译器移植到 Rust，MIT 开源
ts-rust（tsc-rs）是微软原生 TypeScript 编译器（Go 版）到 Rust 的直接移植，保留 Go 的算法、命令行（tsc）、语言服务器和 API，以 MIT 许可开源，可 npm install -D tsc-rs 后 npx tsc-rs -p tsconfig.json 使用。
Hacker News 前页AI 评分00 I'm in love with a German film star
该条目为 Hacker News 前页的一篇文章，标题为「I'm in love with a German film star」，目前获得 4 分、0 条评论。原文未提供更多正文内容。
Ars Technica · AIAI 评分4242 Artcraft 用 Claude Opus 5.5 逆向工程，推出七款开源应用对标 Adobe 全家桶
开发者 Brandon Thomas 借 Anthropic 的 Claude Opus 5.5 逆向工程，为 Artcraft 推出七款开源应用，复刻 Photoshop。
GitHub ChangelogAI 评分4242 GitHub Copilot 上线 Claude Haiku 5.5
Anthropic 最新轻量模型 Claude Haiku 5.5 已在 GitHub Copilot 全面可用，面向 subagents、快速编辑和终端任务等高频场景。
Simon Willison精选AI 评分8080 Anthropic 发布 Claude Haiku 5.5，并为 Max 与 Team 订阅者发放每月 API 额度
Anthropic 发布新的快速低价模型 Claude Haiku 5.5，定价为每百万 token 输入 $0.10、输出 $0.50，与 OpenAI 上个月发布的 GPT-6 Luna 完全一致。
推荐理由：Haiku 5.5 单价对齐 GPT-6 Luna，但新分词器让同一提示多耗约 1.25 倍 token，长上下文工作负载要重算成本。
Vercel ChangelogAI 评分4040 Vercel：被 WAF 拦截的微前端路由流量不再计费
Vercel 宣布微前端路由（Microfrontends Routing）对 Web 应用防火墙（WAF）拒绝、质询或限流的请求免费，CDN Requests 与 Fast Data Transfer 此前已对该类流量免费。该变更对所有使用微前端的项目自动生效，无需手动配置。
Hacker News 前页AI 评分2222 Show HN: gtlds.fyi – 汇总所有新提案的 gTLD
开发者上线 gtlds.fyi，汇总所有新提案的 gTLD。该页面在 Hacker News 前页获得 33 分、36 条评论。
Hacker News 前页AI 评分88 Show HN：一个没什么用但几乎完全复刻 Hacker News 的克隆站
开发者 sillysaurusx 在 Hacker News 发布 Show HN 项目，用 ycombinator.lol 域名做了一个"没什么用但几乎完全复刻"的 Hacker News 克隆站，发布 1 小时内获得 5 分。该项目在 HN 前页列表中位列第 25 条，目前尚无评论。
GitHub ChangelogAI 评分4242 GitHub Copilot CLI 1.0.94-0 支持发现本地 Ollama 模型
GitHub Copilot CLI 从 1.0.94-0 版本起，可用 /model 发现本地运行的 Ollama 实例中受支持的模型，与已配置模型和 GitHub Copilot 云端模型并列展示。
GitHub Changelog精选AI 评分6262 GitHub Copilot 本地沙盒正式可用，覆盖 CLI、Copilot 应用与 VS Code
GitHub Copilot 的本地沙盒现已正式可用，覆盖 GitHub Copilot CLI、GitHub Copilot 应用以及使用 Agent Host 的 VS Code 会话。
推荐理由：Copilot 本地沙盒正式可用且不额外收费，跑 agent 工作流的可以按策略限制文件、网络与凭据访问。
The Decoder精选AI 评分7777 Anthropic 发布 Claude Haiku 5.5 并大幅降价，Sonnet 5.5 缓存读取费减半
Anthropic 发布 Claude Haiku 5.5，平均比 Haiku 4.5 便宜约 75%，提示词在 10 万 token 以内的请求降价最高达 90%，超过 10 万 token 的请求价格是前者的五倍。
推荐理由：Haiku 5.5 每百万 token 输入降到 $0.10，跑批量摘要和分类的可以按新价重算成本，注意新分词器会多耗 token。
The DecoderAI 评分6262 OpenAI 上线 GPT-6，ChatGPT 回答改为图表、按钮和迷你应用的交互界面
OpenAI 为所有 ChatGPT 用户推出 GPT-6，并带来名为 Intelligent UI 的新功能，回答不再以纯文本呈现，而是自动适配问题生成图形、按钮、图表和表单，对比内容并排展示，解释可变成交互式图表，用户还能在对话里直接生成储蓄计算器或小游戏等小工具。
Vercel Changelog精选AI 评分6262 Claude Haiku 5.5 上线 Vercel AI Gateway，新增 effort 档位
Anthropic 的 Claude Haiku 5.5 已在 Vercel AI Gateway 上线，模型名为 anthropic/claude-haiku-5.5，可直接替换现有的 Claude Haiku 4.5。
推荐理由：Claude Haiku 5.5 已上 Vercel AI Gateway，用 Haiku 4.5 的可以直接换模型名，并新增 effort 档位控制思考与 token 消耗。
Vercel Changelog精选AI 评分6262 OpenAI Decisions API 上线 Vercel AI Gateway，新增 /v1/decisions 端点
OpenAI 的 Decisions API 现已通过 OpenAI 兼容的 /v1/decisions 端点接入 Vercel AI Gateway，可用 GPT-6 Luna Decisions 或网关上的其他决策模型。
推荐理由：决策模型走 /v1/decisions 端点，做路由、分流和评分规则的可以先在 AI Gateway 上试接。
AWS Machine Learning Blog精选AI 评分6060 AWS 上线 Claude Haiku 5.5，成本比 Haiku 4.5 低约 75%
AWS 宣布 Claude Haiku 5.5 在 Amazon Bedrock 和 Claude Platform on AWS 上线，据 Anthropic 称这是 Claude 5.5 系列中速度最快、最高效的模型，面向子代理和高并发、成本敏感的任务，多数任务成本比 Claude Haiku 4.5 低约 75%。
推荐理由：Claude Haiku 5.5 在 Amazon Bedrock 上线，成本比 Haiku 4.5 低约 75%，做高并发子代理的可以换模型压成本。
Hacker News 前页AI 评分6262 Docker 开源 docker-agent：用 YAML 定义并运行多智能体
Docker 发布开源项目 docker-agent，作为 docker CLI 插件，用声明式 YAML 配置构建、运行和分享 AI agent，无需写代码。
Hacker News 前页AI 评分00 GPT‑6 与面向所有人的智能 UI
OpenAI 发布 GPT‑6，并提出面向所有人的智能 UI 方向。该话题在 Hacker News 前页获得 567 分、296 条评论。
Hacker News 前页AI 评分1515 AI 模型群体思维
Hacker News 前页讨论帖「AI Model Groupthink」获得 15 分、3 条评论，话题聚焦多个 AI 模型是否出现趋同思维。原文未提供更多细节。
GitHub Changelog精选AI 评分6262 GitHub 推出密钥泄露检测专用模型，push protection 与 /security-review 新检查将消耗 AI Credits
GitHub 发布用于密钥泄露检测的专用模型，把上下文感知检测接入 secret scanning 告警、push protection 和 GitHub Copilot 安全审查。
推荐理由：AI 检测的密钥告警仍免费，但 push protection 与 /security-review 的新检查将消耗 AI Credits，启用前先设好预算上限。
GitHub BlogAI 评分5050 GitHub 用微调分类器把密钥防护扩展到非结构化密钥
GitHub 与 Microsoft Applied Sciences 联合构建的微调分类器，可在不到 2 毫秒内评估一整组候选密钥，有望把可拦截的密钥数量提升一倍以上，用于将 push protection 扩展到无固定格式的非结构化密钥。
Hacker News 前页AI 评分6060 Pinrail：让编码 agent 在动手前等你审核的桌面收件箱，Apache 2.0 开源
Pinrail 是一个桌面应用，让编码 agent 在执行需要人确认的步骤前先提交审核，你在专门的视图里做出决定后 agent 再继续。它兼容任何能运行命令的 agent，如 Claude Code、Codex、Cursor 或 OpenCode，目前支持 macOS 和 Linux，Windows 支持在开发中。
Hacker News 前页精选AI 评分8282 Anthropic 发布 Claude Haiku 5.5，运行成本比 Haiku 4.5 低约 75%
Anthropic 发布 Claude Haiku 5.5，称其为目前最快、最便宜的小模型，面向高并发、成本敏感的任务，如摘要、压缩、数据库查询和分类，也可作为 Opus 5.5、Sonnet 5.5 的子代理用于编码。
推荐理由：Haiku 5.5 把高并发小任务的成本压到约原来的四分之一，跑摘要、分类、子代理的可以按新价重算一遍预算。
Vercel Changelog精选AI 评分6060 Vercel AI Gateway 上线 stealth 模型 Glyph Cluster，stealth 期内免费
Vercel 在 AI Gateway 上线 stealth 模型 Glyph Cluster，面向已购买 AI Gateway 额度的 Pro 和 Enterprise 团队，stealth 期间免费使用。
推荐理由：Glyph Cluster 在 stealth 期免费开放给 Pro 和 Enterprise 的 AI Gateway 用户，但提示词可能被用于训练，接生产前先确认数据边界。
Hacker News 前页AI 评分2828 Bigwords.page：把任意屏幕变成标牌，链接本身就是应用
Bigwords.page 上线，把文字放进 URL 即可让任意浏览器全屏显示标牌、倒计时或留言，无需账号、无需安装应用，内容也不存在服务器上。它支持自动适配屏幕、Markdown、用 || 分页轮播、{countdown} 倒计时与 QR 码，消息存在 URL fragment 中，浏览器不会把它发给服务器。
Hacker News 前页AI 评分1212 Visa、Mastercard 及多家大银行因「反竞争」费率面临新诉讼
Visa、Mastercard 及多家主要银行因被指「反竞争」的费率面临新的诉讼。该消息在 Hacker News 前页获得 528 点、381 条评论。
Hacker News 前页AI 评分00 用动画 ASCII 艺术装饰网页
一种用字符拼出动态图案的 ASCII 艺术方案，可直接嵌入网页展示动画效果。画面由 `#`、`*`、`+`、`=` 等符号按密度渐变构成，形成循环流动的视觉纹理。适合为页面添加轻量的复古风格装饰。
Hacker News 前页AI 评分6262 psp-web-recomp 开源：把 PSP 游戏重编译成 WebAssembly 在浏览器里运行
psp-web-recomp 是一个把 PSP 游戏的 MIPS 机器码提前翻译成 C++、再编译为 WebAssembly 在浏览器中运行的开源项目，不依赖模拟器，用 WebGL2 绘制。
The DecoderAI 评分3636 Google 推出 Playground：用 Gemini 让美国用户靠文字输入做游戏
Google 上线浏览器端 AI 平台 Playground，美国成年用户无需编程，仅靠文字输入即可创建游戏，并可与 AI 反复调整规则、物理、角色和环境后即时试玩。
Hacker News 前页AI 评分3838 跑 1M/B/T tokens 需要多少块 GPU：一个 H100 估算计算器
一个计算器给出估算：在 Llama 3.3 70B 上一个月（30 天）跑 1 万亿 token，约需 367 块 H100，合理区间为 211 到 853 块，即 46 个 8 卡 H100 节点。该结果基于 50% 利用率、每块 H100 每秒 1,000 token 等假设，作者提示实测预设误差约 2 倍，建议先在自己的硬件上实测再采购。
Hacker News 前页AI 评分2828 Google 推出 Playground：用文字提示创建和游玩自定义游戏
Google 发布实验性游戏平台 Playground，用户无需编程，通过文字提示即可创建、游玩和分享自定义游戏。该平台今日面向美国 18 岁以上用户上线 playground.google，创建权限按 Google One 会员等级分层开放，游戏支持浏览器跨设备游玩、排行榜和多人模式。Playground 还将集成 Unity Spark，后者目前处于测试阶段，即将开启封闭测试。
Hacker News 前页AI 评分3838 Procinsh：一款 3D Linux 进程查看器
开发者发布 Procinsh，一款基于 Web 的 Linux 进程查看器，可用 3D 方式浏览进程空间。它要求 Linux x86-64，安装需 Rust、clang BPF 后端、bpftool 等依赖，支持从 crates.io 安装或自行构建，WSL2 支持有限。
Hacker News 前页AI 评分2222 Show HN：用 Wikipedia 内容搭建的可步行 3D 艺术史博物馆
开发者发布了一个可步行的 3D 艺术史博物馆，内容取材自 Wikipedia，展品时间跨度从李成到 Banksy。该项目在 Hacker News 上获得 132 分和 57 条评论。
Hacker News 前页AI 评分88 Google Playground 游戏平台展示多款单人小游戏
Google Playground 页面展示了一批单人小游戏，涵盖平台跳跃、街机射击、问答、文字解谜等类型。其中包括 Snooze Jump、Truth Ninja、Polygon Pazer、Pitfalls、Octo Pop、Word Cube、Foosball Shootout 和 Summit Swoop，均由个人开发者制作。
Hacker News 前页AI 评分2222 我们为 AI Agent 记忆做了一套替代向量 RAG 的方案
针对 AI Agent 记忆场景，一套替代传统向量 RAG 的方案被提出，核心是把检索从固定的"先检索再生成"流程改为由 Agent 自主决定何时调用检索工具。
Cloudflare ChangelogAI 评分2222 Cloudflare 将 Log Explorer 数据集查询迁至 Observability 的 Logs 页面
Cloudflare 把 Log Explorer 数据集查询从原入口迁到仪表盘 Observability 下的 Logs 页面，与 Workers Observability 数据集共用过滤器构建器、SQL 编辑器和可视化。
Latent SpaceAI 评分2222 Kubernetes 创始人推出 Mecatl：把编码 Agent 的 harness 搬进云端
Kubernetes 两位创始人 Craig McLuckie 和 Joe Beda 所在的 Stacklok 推出开源云原生 harness Mecatl，把 agent 循环与客户端、模型供应商、状态存储和执行环境解耦。
TechCrunch · AIAI 评分3232 Google Labs 推出 AI 游戏创作平台 Playground，用文本提示生成浏览器游戏
Google Labs 上线 AI 游戏创作平台 Playground，用户通过文本提示即可生成浏览器游戏，无需编程经验，可选择类型、2D/3D、单人或多人模式，并上传素材由 AI 转为游戏资产。
Ars Technica · AIAI 评分3030 Mistral 称 Le Chonk 可挑战最强 AI 模型
Mistral 表示 Le Chonk 能在保持开放权重的同时，与顶级闭源模型抗衡。该模型被定位为可挑战最强 AI 模型的开源方案。