小米开源 HachimoDock AI 硬件，自制成本约 150 元，可指挥 Agent 并联动智能家居
小米内部创新产品团队开源了 AI 硬件 HachimoDock，硬件自制成本约 150 元，可通过语音指挥电脑端 Agent，并通过 xiaomi Miloco 联动智能家居。
推荐理由：文章把 HachimoDock 的语音交互、Agent 任务反馈、组件创作与智能家居联动串成完整使用链路，并交代源码、物料和装配教程等复刻资料。
#开源/仓库
量子位精选AI 评分7070 Hacker News精选AI 评分6565 OccupySaaS 发布 ZeroAuthy 与 SalesCompel 两款开源替代品
OccupySaaS 发布 ZeroAuthy 与 SalesCompel 两款开源替代品，分别兼容 Auth0 身份服务和 Salesforce CRM，并支持自托管。两者均采用 Apache-2.0 许可，依据公共 API 文档、开放标准和公开 SDK 行为进行净室重实现，AI 智能体按规范实现代码，人类负责审查合并并以兼容实验室验证。现阶段两款项目仍属早期，尚未达到生产可用状态。
推荐理由：项目以净室重实现、人工审查和公开 SDK 兼容测试推进开源替代品，展示了 AI 辅助构建可自托管 SaaS 的可复用路径。
Hacker NewsAI 评分6666 OmniDiff 开源内容感知的 Rust Git difftool
OmniDiff 开源了一款用 Rust 编写的 Git difftool，代码见 https://github.com/ivankovic/omnidiff。
量子位精选AI 评分6666 TypeSafe AI 与 Treg 开源 Jev 找人工具，Agent 可调用其查找工作邮箱
TypeSafe AI 与 Treg 开源了一款基于 Jev 的找人工具，可接入 Agent 查找候选人并补齐工作邮箱。
推荐理由：People Search Bench 与 292 人名单的 Clay 对照呈现了性能和成本差异，邮箱验证另付费及社区检索反馈补充了使用边界。
Hacker News精选AI 评分7474 bootgpt 在 PC 启动扇区运行 11.5 KB int8 字符级模型
bootgpt 将一个 11.5 KB 的 int8 字符级模型放在启动扇区后的 23 个扇区中，使它在无操作系统、无 C 运行时的 386 16 位实模式下直接运行。
推荐理由：项目将模型推理引擎压进 510 字节 MBR，并以逐字符差分校验 Python 与汇编输出，呈现了微型模型从训练到启动扇区运行的完整实现。
Hacker News精选AI 评分5656 作者用 Dwitter 语料和个人偏好后训练 Demoscener-7B 以续写 Dweet 动画
作者在 Hugging Face 提供 Demoscener-7B，以 Dwitter 语料和人工偏好后训练，为 Dweet 动画生成续写。
推荐理由：文章拆解了从语料构建、课程训练到人工偏好 RLHF 的后训练流程，并给出各阶段困惑度变化，为小样本代码模型后训练提供了具体路径。
钛媒体精选AI 评分5656 品胜开源AI专利附图工具，00后团队探索制造企业AI创新路径
品胜已在GitHub开源AI专利附图工具，可读取3D模型并辅助生成爆炸图和部件标注。00后负责人丛泽龙团队还计划开源AI Native人才筛选工具“AI试炼”，并以支持本地部署降低企业对上传未公开研发数据的顾虑。品胜还在制作AI Lab官网、建设SkillHub，并探索让Agent参与硬件选型、设计和样机验证流程。
推荐理由：品胜从专利附图等真实痛点出发开发工具，再以开源部署寻求外部反馈，呈现传统制造企业推进AI应用的实施路径。
Hacker News精选AI 评分5252 xarray-sql 展示从约 25 行 SQL 自动推导 FlashAttention kernel
xarray-sql 展示如何从约 25 行 SQL 自动推导 FlashAttention kernel。对应文件 `benchmarks/ml/01_attention.py` 共 322 行（282 loc），大小为 11.7 KB。
推荐理由：材料给出从约 25 行 SQL 自动推导 FlashAttention kernel 的实现入口，便于对照研究注意力计算与代码生成方式。
Hacker News精选AI 评分7373 spinf-serve 发布用于批量评分与决策的开源推理服务器
spinf-serve 发布了一款用于批量评分与决策的开源推理服务器，可让每份内容只读取一次，并在同一次前向传播中处理多个问题。它运行在单张 24 GB NVIDIA GPU 上，提供 OpenAI 兼容 API，并针对固定选项返回概率、对数概率和空内容基线。
推荐理由：文章提供单张 RTX 4090 上与 vLLM 0.26 的吞吐对比，并解释多问题分支打包与概率评分机制，便于判断批量决策场景的性能取舍。
Hacker News精选AI 评分8181 开源项目 nesformer 用约 1GB Qwen3.5 权重运行 NES 6502 CPU
开源项目 nesformer 将 NES 的6502 CPU、2 KB工作RAM和卡带ROM编译进Qwen3.5架构的模型权重，让模型逐token预测CPU执行日志并驱动游戏运行。权重未经训练，由编译器计算，466.6M参数的bf16检查点占933 MB，Gated DeltaNet状态用作机器内存。随附测试游戏的每一帧都与传统6502模拟器一致，但目前仅支持NROM卡带且没有声音。
推荐理由：nesformer 将6502 CPU编译进Qwen3.5权重，通过逐token执行日志与逐帧匹配验证，展示了以DeltaNet状态充当机器内存的实现路径。
量子位AI 评分7171 ForgeKernel 开源，AI 写算子比 DeepSeek-V4.1 的 FlashMLA 快 9.8%
面壁智能的 ForgeKernel 在英伟达 B200 上通过 22.5 小时直播生成算子，最终版本耗时 472 微秒，比 DeepSeek-V4.1 的 FlashMLA 快 9.8%。
量子位AI 评分6464 智元发布 GO-3 Preview 与 WITA-OMNI，分别登顶三项和四项评测
智元发布具身基座模型 GO-3 Preview 和全模态端到端交互大模型 WITA-OMNI，两款模型分别登顶三项与四项评测。同步推出第三代硬件架构 AHA3、重载机器人精灵 G2 Max 和具身原生操作系统灵渠OS 1.0；智元计划今年年底全面开源后者，并开放经过量产验证的 2亿行代码和 5000多个生态软件包。
HF Daily Papers精选AI 评分7575 Youtu-Parsing-Omni 论文提出单一编码器与统一输出结构的多模态解析方案
Youtu-Parsing-Omni 提出并开源统一多模态解析器，以一个共享权重编码器和一套统一输出结构，将文档、图像、音频与视频转换为带时空信息的结构化记录。
推荐理由：论文同时给出统一解析架构、训练方法、基准成绩和 vLLM 部署配套，便于对照模型效果与实际使用方式。
量子位AI 评分7171 国产开源模型 OXR 以 1.3B 参数量登顶三项文档解析榜单
国产开源文档解析模型 OXR 以 1.3B 参数量登顶三项文档解析榜单。在 OmniDocBench、olmOCR-Bench 和 DocParsingBench 上得分分别为 97.18、87.84 和 87.76；后训练采用递归自我改进（RSI），让系统自行找错、归因并生成下一轮训练数据。
Hacker News精选AI 评分7979 falperc 发布 Doomformer，将整数神经网络编译为可运行的 DOOM 地图
falperc 发布开源工具 Doomformer，可将包括 Transformer 在内的整数神经网络编译为 ZDoom 地图，并在 ViZDoom 中运行与校验。
推荐理由：项目将网络权重、激活与比较映射为 DOOM 地图组件，并用 NumPy 参考逐值校验，展示了游戏引擎承载推理的实现路径与性能代价。
Hacker News精选AI 评分7070 tinyworldformer：在 Raspberry Pi Pico 2 W 上用世界模型运行游戏
tinyworldformer 使用两个小型神经网络，在 Raspberry Pi Pico 2 W 上同时生成并游玩 Breakout、Doom-lite、Flappy Bird、Pong 和 Pac-Man lite。
推荐理由：项目公开了世界模型、智能体、int8 量化与片上学习的实现和复现流程，读者可结合逐帧准确率与资源占用评估端侧可行性。
Hacker News精选AI 评分7070 Overtone 发布多画幅字幕转写、校正与重排工具
Overtone 发布一套字幕处理工具，把每个词及其时间、说话人只存一次，并为 16:9、9:16 或指定比例分别生成字幕切分。
推荐理由：Overtone 把逐词存储、说话人标注和按画幅重排整合成统一流程，为多端字幕生产提供了一套可复用方法。
TechCrunch同事件AI 评分8181 Mistral 发布万亿参数开放权重模型 Mistral Large 4，聚焦网络安全
Mistral 发布万亿参数开放权重模型 Mistral Large 4（ML4），面向企业和政府的网络安全场景。Mistral 称，ML4 的网络安全任务性能与 GLM-5.3 相当，每项任务的 token 消耗低 47 percent，并在 Artificial Analysis 的 Coding Agent Index 中超过其他开放模型。
同一件事，精选收录的是《Mistral AI 发布 Mistral Large 4 改进版模型权重》
Hacker News精选AI 评分6363 Keplearn 发布开源符号回归工具，从表格数据快速提取方程
Keplearn 发布 Rust 编写的确定性符号回归工具，可从 TSV 或 CSV 数据中恢复闭式方程并输出 JSON 结果。工具采用最佳优先递归约简，支持 --timeout 等参数，并以单文件程序提供 macOS、Windows 和 Linux 版本，采用 MIT 许可，项目地址为 https://github.com/owls-on-wires/keplearn。
推荐理由：Keplearn 在 SRBench Feynman 无噪声集达到 64.7% 符号解出率，并含安装、调用与基准数据，便于评估符号回归能力。
36氪精选AI 评分6565 智元在创新日发布 GO-3 Preview、WITA-OMNI 与 AGILE，布局物理 AI 全链路
智元集中发布 GO-3 Preview、WITA-OMNI、AGILE、灵渠OS 1.0与AHA3第三代硬件架构，推进物理 AI 全链路部署。
推荐理由：智元将模型、算法、操作系统与硬件架构纳入同一部署链路，并提出以有效智能工时衡量劳动产出，呈现从能力演示转向实际生产力的完整思路。
Hugging Face Blog精选AI 评分7171 AnySpeechRecognizer 与 AnyDecisionModel 发布，支持 Apple 平台接入开放模型
AnySpeechRecognizer 与 AnyDecisionModel 两个 Swift 包发布，为 Apple 平台接入开放模型完成语音识别和结构化决策。
推荐理由：文章用词错误率、转写速度和内存占用数据对比语音引擎，并补充会议重叠语音的表现，便于评估端侧识别方案的成本与精度。
量子位精选AI 评分8181 PSI称AI辅助解决5道量子信息开放问题，并公开论文与验证代码
Physical Superintelligence（PSI）称，其自研 AI 科研系统 Emmy 辅助解决了开放量子问题目录中的 5 道长期开放问题，并公开论文、Lean 形式化证明和验证代码供审查。
推荐理由：文章给出了 AI 生成假设、Lean 形式化证明与代码验证的分层流程，并附论文和代码供审查，便于读者理解科研自动化的验证路径。
Hacker News精选AI 评分7373 Bernstein v3.23.0 发布开源 AI 智能体治理层，支持 53 个 CLI 适配器
Bernstein v3.23.0 发布，提供面向 AI 智能体的开源治理层，支持 53 个 CLI 适配器，并以 Apache 2.0 许可证开放使用。其确定性 Python 调度器不将模型接入协调循环，可并行运行智能体，让同一计划按字节一致地重放，并以策略即代码执行约束、生成可验证记录。
推荐理由：内容拆解了无模型参与的确定性调度、策略即代码和签名审计链，可用于评估多智能体治理方案的重放一致性与可验证性。
Latent Space精选AI 评分7777 AINews：Google DeepMind 发布 Gemini 4 Carbon，登顶多项榜单并先向网络安全防御者开放
Google DeepMind 发布 Gemini 4 Carbon，将其定位为网络安全与长程任务前沿模型，先通过 Fairwind Program 向可信网络安全防御者开放，并称将尽快扩大开发者访问。
推荐理由：将 Carbon 的独立榜单成绩、网络安全基准、定价和开放条件并列，呈现能力表现与当前可获得性之间的差异。
Hacker News精选AI 评分8181 Claude Code 定期将每个后台智能体的完整会话记录发给模型生成状态摘要
Claude Code 会约每 30 秒把每个后台智能体的完整会话记录发给其模型（通常是 Opus），仅生成 3 至 5 个词的状态摘要。文中 OpenTelemetry 数据显示，agent_summary 一度占 Claude Code 估算支出的 16.4%，并约占 19.7% 的 API 请求。
推荐理由：原文提供可复用的 Bun preload 方案，可在不修改 Claude Code 二进制的情况下拦截后台智能体摘要请求并验证效果。
Hacker News精选AI 评分7575 Qwenputer 将确定性 RISC-V CPU 编译进 Qwen3.5 4B 权重
Qwenputer 为 Qwen 3.5 4B 加入 32-bit RISC-V CPU，以 Gated DeltaNet 层作 RAM，并在模型前向过程中运行，无需外部工具或运行时。
推荐理由：文章拆解了以 Gated DeltaNet 状态作 RAM、在模型权重中编译 RISC-V CPU 的方法，并提供算术准确率、指令一致性和运行开销等实测数据。
The Verge · AI精选AI 评分5050 Akai计划开放MPC Sample Key固件并支持vibe coding改造
Akai计划向开发者提供MPC Sample Key早期设备，采用开源固件并提供SDK，以支持社区开展vibe coding改造。该设备尚未正式宣布，演示中已加入Native Instruments Massive、虚拟模拟与FM合成器，以及包含多种合成器的自定义OS。Akai的演示还称，同类“社区”功能将用于MPC Sample，其中包括由Claude构建的vibe-coded合成器。
推荐理由：Akai通过提前借出设备、计划开放固件并提供SDK，让社区用vibe coding扩展MPC Sample Key，呈现硬件接纳社区改造的路径。
AWS Machine Learning Blog精选AI 评分6060 AWS 介绍用 Amazon Nova Act 扩展 QA Studio 智能体 QA 自动化
AWS 在第三篇教程中讲解 QA Studio 的应用管理与团队权限能力，展示如何扩展基于 Amazon Nova Act 的智能体 QA 自动化。应用归组用例和测试套件，并按环境展示通过率、执行次数、失败数、趋势、不稳定测试排名及 0–100 健康分；分级角色限定应用权限，跨团队共享以接收方角色为上限。
推荐理由：教程给出组织级 QA 扩展的具体路径，用应用归组、健康指标、分级角色和跨团队授权上限管理测试资产与权限边界。
AWS Machine Learning Blog精选AI 评分6767 用 Ray Train DLC 和 EFA 在 EKS 上进行 PyTorch 分布式训练
AWS 演示了在 EKS 上使用 Ray Train DLC 与 EFA 进行多机 PyTorch 分布式训练，无需自行构建包含 CUDA、NCCL 与 EFA 的容器镜像。
推荐理由：文章以统一 Ray Train 镜像贯通 EKS、KubeRay 与 EFA 配置，完整展示多机训练从集群部署、作业提交到 EFA 路径校验的落地方法。
Hugging Face Blog精选AI 评分8080 NVIDIA 发布 Nemotron 3.5 Transcribe 开放权重模型与 Granary v2 多语种数据管线
NVIDIA 发布开放权重模型 Nemotron 3.5 Transcribe，并开放 Granary v2 多语种数据管线；前者集成 40 种语言转录、31 种语言与英语互译、说话人区分和英文音频问答。
推荐理由：原文给出从提示词优化到数据构造、LoRA 微调、检查点选择和评测的完整医疗语音适配流程，可直接用于复现同类场景。
NVIDIA Blog精选AI 评分7474 NVIDIA RTX Spark Windows 笔记本开售，新增本地模型、智能体工具和游戏支持
NVIDIA RTX Spark Windows 笔记本现已由 ASUS、Dell、HP、Lenovo、Microsoft 和 MSI 开售，起售价 $2,599，并新增或计划引入本地模型、智能体工具与游戏支持。
推荐理由：原文将模型能力、GPU 资源分配与本地部署条件并列呈现，读者可据此判断 RTX Spark 对轻量本地 AI 工作流的适配范围。
TechCrunch精选AI 评分7575 Nvidia 发布 Nemotron 3.5 Transcribe 开放权重语音转录模型
Nvidia 发布开放权重转录模型 Nemotron 3.5 Transcribe，支持最多 40 种语言，并推出开源语音数据集 Granary v2。公司称，该模型可在英语与 31 种语言之间双向翻译，处理最长 1 小时录音、区分最多 8 位说话者，并在 Hugging Face Open ASR Leaderboard 等基准上超过竞争对手。
推荐理由：开放权重与单芯片运行范围，结合语言支持、录音时长和基准信息，为会议及医疗转录场景的模型选型提供具体参考。
Hacker News精选AI 评分6565 CaseCite 发布自托管法律 RAG 平台，对标获 500M 融资的 Harvey
作者发布 CaseCite，一套可自托管的私有法律 RAG 研究平台，宣称对标获 500M 融资的 Harvey。它可导入律所文档，以语义检索结合 BM25 重排序回答问题并附内联引用，也支持合同审查与对比、起草、判例、法官信息和法律工具检索。
推荐理由：项目同时交代功能范围、外部数据流、自托管部署与许可限制，可据此评估私有化法律 RAG 的数据边界和实施门槛。
量子位精选AI 评分7171 蚂蚁百灵开源 Ling-3.1-flash-1019 与 Ling-3.1-flash-base，面向 Personal Agent 真实任务
蚂蚁集团旗下百灵大模型正式开源面向 Personal Agent 场景的 Ling-3.1-flash-1019，并同步开放 Ling-3.1-flash-base 基础模型。
推荐理由：文章同时给出复杂任务基准变化、基础模型架构与开放许可，便于开发者评估 Personal Agent 的模型选型与二次训练空间。
量子位精选AI 评分6363 RoboParty 发布全栈开源人形机器人 RP1
RoboParty 正式发布全栈开源人形机器人 RP1，开放机械图纸、电气系统、ROMOMO 关节、底层控制、仿真、训练和部署等资源。RP1 身高 135cm，提供 24 个和 30 个主动自由度的开源版与开源版 Pro，已展示连续行走、人体动作跟踪、扰动恢复和跌倒起身等真机能力。
推荐理由：RP1公开从机械图纸到训练部署的多层资源，研究者可更直接定位控制与硬件偏差，并复用底层资源开展研发。
Hacker News精选AI 评分3030 Moxnox 1.0 发布：类 NT、兼容 POSIX 的操作系统运行于 Btrfs 之上
Moxnox 1.0 发布，这是一款运行于 Btrfs 之上、借鉴 Windows NT 系统调用设计的 POSIX 兼容业余操作系统。项目约 130,000 行 C++，支持 amd64 与 aarch64，并具备自托管能力；作者称 AI 仅用于机械性移植和冒烟测试，Claude 主要用于审查提交。
推荐理由：Moxnox 公开了 NT 与 POSIX 兼容边界、缺失功能、QEMU 启动和构建步骤，便于判断其自托管可行性及使用边界。
Hacker News精选AI 评分6464 China Policy Data 提供上海政府补贴与政策通知每日 JSON 数据源
China Policy Data 提供每日更新的上海政府补贴与政策通知 JSON 数据源，收录来自 9 个官方来源的约 150 条通知。每条记录包含标题、发布机构、发布日期、截止时间、开放状态、面向外资中小企业的 0–10 相关性评分、摘要及官方链接；当前开放项目在有对应内容时还提供 titleEn 与 summaryEn。
推荐理由：该数据源把分散在上海 9 个官方渠道的补贴通知整理为每日更新的结构化 JSON，Agent 可直接接入并按截止时间筛选。
Ars Technica · AI精选AI 评分6060 Pinal 用自然语言设计蛋白质，Carbon X 实现 DNA 与英文互译
研究团队推出 Pinal，用自然语言生成蛋白质设计；Hugging Face 等团队发布开放权重模型 Carbon X，可在本地运行并处理 DNA 与英文。Pinal 通过 T2struct 生成结构 token，再由 SAProt-T 补全氨基酸序列；在 GFP 类荧光蛋白测试中，50,000 个候选经筛选后有 29 个在 E. coli 中表达，最终仅 1 个成功发光。
推荐理由：Pinal 与 Carbon X 展示了自然语言进入生物序列设计的不同路径，并用实验成功率、长序列定位和本地运行条件呈现落地限制。
Hacker News精选AI 评分7171 Survival LLM：本地运行的 AI 应急助手与离线资料库
Survival LLM 是一款免费开源的本地 AI 应急助手，可离线回答食物保鲜、烧伤处理和净水问题，并为每个答案列出参考文章及高亮原文。应用会按电脑内存选择模型；在其早期资料库版本的22道断电与急救问题盲测中，NVIDIA Nemotron 3.5 Super答对21题，Qwen3.8 27B答对21题，IBM Granite 4.2 8B答对14题。
推荐理由：按设备内存比较不同模型的应急答题表现，并展示来源引用与安装成本，便于读者评估离线部署的实用取舍。
HF Daily Papers精选AI 评分5454 Soft-MTP 通过 KL 梯度恢复改进多 Token 预测
Soft-MTP 通过 KL 梯度恢复移除多 Token 预测中的噪声残差，在不增加参数且无可测开销下改善困惑度、推测解码与推理表现。该方法支持 DeepSeek 和 Meta 风格的 MTP；在 167M 至 1.2B 参数规模上，相比标准 MTP 获得更低的 NTP 困惑度、更快的推测解码和更高的 zero-shot 准确率，1.2B 模型微调后的数学与代码推理也更强。
推荐理由：论文将标准 MTP 梯度拆为 KL 自蒸馏信号与噪声残差，并给出兼容现有训练内核的一行代码改法，为多 Token 训练提供低开销路径。