Lasm 把普通 Lean 4 程序提前编译成 WebAssembly，同一份代码可产出 Node 服务器、Serverless/边缘函数、WASI/Fastly 模块或浏览器应用，并能在部署前证明代码性质。旗舰示例 Conduit（RealWorld 应用）含 117 条已证明定理。工具随 npm 分发并自带 Lean 4.35.0 与 Lake，只需 Node ≥ 24（或 Bun/Deno）。支持 Node、AWS Lambda、Lambda@Edge、Vercel、Netlify、Azure Functio…
推荐理由想在部署前用定理证明保证服务正确性的人，可直接 npm create @lasm@latest 跑通 Conduit…
开发者发布 Doomformer，把整数神经网络编译成 ZDoom 地图，在 ViZDoom 里运行。它用 DOOM 为额外玩家出生点生成的 voodoo doll 副本做算术，用扇区亮度和平面高度存中间结果。Python 从运行中的游戏读回每个值，与 NumPy 整数参考逐位比对，容差为 0，错一位即失败。速度极慢：小 MLP 比 NumPy 慢约 23000 倍（引擎时间），整次调用计时慢 65000 倍；手写数字识别在默认调度下需 163 秒实时 DOOM，加 --opt 3 后为 8 秒。项目支持 pip …
推荐理由一个可 pip 安装的极端工程玩具，能亲手验证神经网络在游戏引擎里逐位精确运行。
美国司法部正在审查英伟达计划收购开源平台 Hugging Face 的交易，同时也在关注英伟达的销售行为。原文信息有限，未披露审查的具体范围、时间表或是否涉及正式调查程序。
推荐理由Hugging Face 是开源模型分发的主要入口，这笔交易若受阻，将直接影响模型托管与生态格局。
语音 AI 公司 Deepgram 宣布收购 Daily，后者是开源语音 AI 框架 Pipecat 的开发与维护方。交易金额未披露，双方承诺 Pipecat 将永久保持开源和厂商中立。Pipecat 负责编排语音与视频流，并串联 STT、LLM、TTS 等环节以降低延迟；Daily 则提供语音和视频通话的托管基础设施。Daily 累计融资超 6200 万美元，投资方包括 Tiger Global、Nat Friedman 等；Deepgram 今年早些时候完成 1.3 亿美元 C 轮融资，估值进入独角兽行列。两家…
推荐理由用 Pipecat 搭语音 Agent 的开发者可以确认：框架继续开源且厂商中立
Zig 嵌入式项目 MicroZig 于 2026 年 10 月 28 日生效新行为准则，全面禁止 LLM 与 AI 参与：不接受 LLM 生成的代码或文字，不允许用 LLM 改写、校对、翻译、头脑风暴、找 bug，甚至禁止在社区讨论使用聊天机器人或 LLM 服务。该准则适用于 Zig Embedded Group 的 GitHub 组织和 Discord 服务器，违规者将被移出社区。
推荐理由开源社区首个明文全面禁 AI 的准则，做开源维护或贡献的人可直接参考其条款边界
开发者 emmilco 发布开源项目 us-tax-model，把美国联邦个人所得税的表格与填报说明编码为公开、逐行带引用的 YAML 数据，并配一个引导式自助报税问答作为首个客户端。软件不提交、不签名、不传输税表，数据不出本机。编码的是 IRS 公布的填报流程，而非税法本身。项目自述主要由语言模型生成，因此设计了可独立核查的机制：每行须附文档、税年、修订版、定位符和归档页哈希，缺失即构建失败；2025 年报告含 2313 个锚点、1252 条引文。所有计算行只允许约 20 种原子操作，2384 行中 0 行使用逃…
推荐理由想看 LLM 生成代码如何靠引用哈希、封闭算子和构建期检查做到可审计，这个仓库给了完整样板
开发者发布开源、可自托管的法务检索平台 CaseCite，直接对标刚融资 5 亿美元的 Harvey。平台提供研究问答、文档索引、合同审查与红线对比、长文起草、判例引用图谱、法官分析等八项功能，支持从 Google Drive、OneDrive、Box、Dropbox、Filevine、Clio 导入文档。所有文档、索引和聊天记录存在用户自有服务器，AI 调用走用户自己的 API key（BYOK），无遥测。iManage 与 NetDocuments 连接器仍为实验性。
推荐理由想自建法律 RAG 的团队可直接部署，文档和索引不出内网，AI 调用用自己的 key
开发者发布开源项目 Plushies，用 Three.js 在网页上渲染毛绒质感的 3D 角色，提供心形、星形、云朵等 17 种轮廓，带卷边接缝和毛发效果。这些角色可当作 AI 助手的跟随光标，用户能选择形状、面料和表情，代码实时更新，支持复制或分享链接。通过 npm i plushies three 安装。原文信息有限，未提及性能数据和采用情况。
推荐理由想给网页或 AI 助手加个 3D 光标，npm 装完就能用，17 种形状可调
LlamaIndex 发布 Document Parsing Protocol（DPP）工作草案 0.1，共 140 条规则，覆盖文本、表格、表单、图表、示意图等，每条规则附示例页面和期望输出。DPP 源自 ParseBench 标注真值的约定，目标是给"正确解析的页面"一个统一定义。草案规定多行表头必须保留每一层为独立表头行并标注精确 colspan，Markdown 无法表达时改用 HTML 元素，例如表格一律输出为 HTML <table>。
推荐理由做 RAG 或文档解析的团队可对照 140 条规则检查自家解析器输出是否可复现
一个由中国研究者组成的大型合作团队开发出可用自然语言提示生成指定功能蛋白质的工具，用户无需掌握蛋白质结构细节。原文称，若以产出可用蛋白质为标准，成功率不算高，但仍能完成任务。另据 Hugging Face 公告，其平台已托管一个在 DNA 层面做类似设计的工具。
推荐理由了解自然语言生成蛋白质的实际成功率与 Hugging Face 新托管工具，判断这条路线是否可用。
LangChain 发布博客，介绍其设计 Agent Content Studio 的构建方式。该 Agent 运行在 Slack 中，可生成符合品牌规范的视频、图形和演示文稿，项目已开源，博客同时介绍了支撑它的 harness 框架。原文信息有限，未披露具体模型、效果数据或使用方式。
推荐理由做 Agent 产品的人可以看 LangChain 如何把设计生成能力接入 Slack 工作流
Wraps 是一个开源的 Amazon SES 运营层，部署在用户自己的 AWS 账号内。它通过 EventBridge、Lambda、DynamoDB 捕获退信和投诉事件，每小时读取 SES 的退信率与投诉率，对照 AWS 的 5% 退信审查线和 10% 暂停发送线，接近阈值时通知账号管理员，到达暂停线时暂缓定时群发。审计功能一次检查 DKIM、SPF、DMARC、MX、TLS、BIMI 和 50 多个公共黑名单。Wraps 不存储任何 AWS 凭证，只通过可撤销的角色读取数据，并支持在安装前用 wraps em…
推荐理由自建 SES 发信的人可以用它提前收到退信率告警，避免账号被 AWS 暂停发送
Reddit 论坛 r/opensource 的版主于周六晚发布新规，禁止发布使用 AI、由 AI 构建或为 AI 设计的项目。新规还要求项目至少存在一年、处于活跃维护状态、有多名贡献者，并且不再接受非英语发帖，理由是版主无法判断文本是 AI 写的还是翻译的。批评者认为规则过于宽泛模糊，指出连 Linux 内核现在都包含 AI 生成的代码。版主 Wolvereness 列举了自动生成字幕等例外。随后出现了不排除 AI 的竞争论坛 r/TrueOpenSource。
推荐理由开源社区首次明确排斥 AI 项目，做开源工具的人需要知道这条边界和替代阵地 r/TrueOpenSource
开发者 Christian 发布 MIT 协议开源桌面应用 Hob，支持 Mac、Windows、Linux，可在本地文件上工作，功能对标 Claude 和 ChatGPT 桌面应用，但模型完全跑在用户自己的电脑上。目前使用 Gemma 4 和 gpt-oss 两个开放权重模型，聊天记录和文件不离开本机，仅联网搜索和 MCP 连接会访问网络，搜索可在设置中关闭。项目开发约两周，已在 Hacker News 获得 147 点热度。
推荐理由想要本地处理文件又不想上传数据的人，可以直接装这个 MIT 协议工具，模型用 Gemma 4 和 gpt-oss
Freehire 在 Hacker News 的 Show 板块发布，是一个开源职位搜索引擎，从公司招聘页面抓取并去重，按技术栈、资历和地点打标签。官方页面显示当前收录 3,716,897 个唯一职位、549,963 家公司、379 个来源和 157 个 ATS 平台。它支持通过 MCP 接入 AI Agent，无需账号即可搜索；也提供终端命令行工具，安装命令为 curl 脚本，并附带 agent skills，Claude Code 等 MCP 宿主可直接调用搜索、读取筛选条件和推进申请。另有 Chrome 侧边…
推荐理由想给 Claude Code 等 Agent 加职位搜索能力，接 MCP 即可，370 万岗位免费无需账号。
开发者 JulienAvezou 发布开源项目 Slowth Money，这是一个本地优先的储蓄与财务目标规划桌面应用，作为 Hacktoberfest 开源 AI 挑战赛第三周参赛作品。应用基于 Electron + React + TypeScript 构建，用 SQLite 本地存储，敏感财务数据加密保存在本机；财务计算由确定性 TypeScript 代码完成，仅在需要语言推理时调用本地 Ollama 运行的 Gemma 3 12B 模型，公开信息检索用 SerpApi。目前仅支持加拿大市场，作者在 Appl…
推荐理由想了解本地优先 AI 应用如何划分公开数据与隐私边界，可参考它的架构和 Ollama + Gemma 3 12B 用法
The Verge 作者称已弃用 Arc 转向 Zen Browser。Zen 复刻了 Arc 的左侧标签栏、固定站点、空间分组和界面自定义 Mods，但明确不内置 AI 功能，不训练 LLM，定位免费开源、靠捐赠和志愿者维护。可安装 Firefox 扩展，链接以 glance 临时浮层打开，Command+T 唤出浮动搜索栏。缺陷是无法播放 DRM 内容，Netflix、Spotify、Disney+ 等暂不可用，团队正申请 Google Widevine 授权；Web MIDI 支持也不如 Chrome。
推荐理由想找 Arc 替代品又不想被 AI 功能打扰的人，可先确认自己是否依赖 Netflix 等 DRM 视频
三名开发者发布本地优先的数据分析助手 Purrrfessorrr Slothhh，上传 CSV、TSV 或 Excel 后，由五个分工不同的「猫」分别负责找异常值、画图、用自然语言解释结论、生成 Python 和 R 代码、给出清洗建议，并支持对话追问，结果可导出为 ZIP 或 Jupyter notebook。技术栈为 Python + FastAPI + 原生 JavaScript，可选通过 Ollama 本地运行 Gemma 3。设计上计算与对话分离：所有数字由 Python 管线算出，模型只负责解释，且应用…
推荐理由克隆仓库运行 run.bat 即可用，数据不出本机，适合处理敏感表格
斯坦福和 UC Berkeley 研究者发布 TokenGate，一种可插拔的 token 剪枝模块，让已有 LLM 只对重要 token 做完整计算。在 Qwen3-1.7B 上测试最长 128k 上下文，首 token 延迟（TTFT）提速 1.4 至 11.3 倍，预填充峰值显存降低 1.5 至 3.4 倍，且无精度损失。最佳场景为 NIAH 16k：TTFT 快 11.3 倍、显存降 3.42 倍；128k 时 TTFT 提速达 13.0 倍。在 5 个任务上对 6 个基线达到帕累托最优，对比次优基线 TT…
推荐理由长上下文推理可直接降本：128k 场景 TTFT 快 13 倍，代码已开源可试
Nathan Lambert 与 Florian 在播客中讨论 Kimi K3.1 Pro：基准测试成绩出色，但社区反应分化，部分原因是这次发布伴随更大规模的社交媒体推广，被指付费发帖未披露。节目还讨论开放权重模型与网络安全风险、AI 专家与网络安全专家对近期事件看法分歧、Anthropic 不招初级员工、Abliterated 模型 API 等话题。原文为播客节目介绍，具体观点需听音频。
推荐理由想了解 Kimi K3.1 Pro 为何评测高分却口碑分化，可先看这期播客的讨论框架
Anthropic has launched OSS Scanner, a free, opt-in vulnerability scanner for critical open-source projects. The Anthropic OSS Scanner runs the company’s strongest models, including Claude Mythos, against enrolled c…
推荐理由模型发布/更新类信息，来自 MarkTechPost，建议按需查看原文。
微软研究院开源 Agensh，一个去中心化的多 Agent 协作框架，取消了多数 Agent 框架依赖的中心调度器：每个 worker 自行认领子任务、共享发现，并把代码合并进同一个 Git 仓库。在 ProgramBench 上，团队把规模从 1 个 Agent 扩展到 1024 个。每个 worker 的输入上限为 272,000 token，输出上限为 128,000 token；默认单节点运行 8 个 worker，1024 Agent 的测试用了 16 个节点、每节点 64 个 worker，每个 wor…
推荐理由想搭建多 Agent 编码流水线的团队可以直接参考：1024 Agent 的部署配置和 5 个任务的实测通过率都公开了
AI 编码工具正被大量用于老游戏的反编译与重编译（decomp/recomp），把原本需要数年的逆向工程压缩到数周。AI 顾问 Chris Sotraidis 用社区已有的《塞尔达传说：时之笛》反编译成果，几周内同时推进十几个移植项目，包括把游戏搬到 iPhone 和 iPad 上。他表示，没有 AI 不可能有这样的速度和产量。但 AI 代劳也让开发者失去理解游戏内部实现的机会，影响忠实还原。上周，一个追踪反编译项目、提供资源的社区网站因 AI 冲击突然关停。
推荐理由想了解 AI 编码工具真实生产力边界的人可以看：一个人几周内推进十几个移植项目，代价是社区知识断层。
一个独立项目为 webOS 电视提供本地主页、私有遥控浏览器和按键说话语音助手。Linux 主机运行 Chromium 和语音模型，电视只负责显示、应用和遥控。项目需 root 权限并修改厂商系统服务，仅针对特定固件版本，可能失去保修甚至让电视无法使用。目前仅在一台电视和固件上端到端验证，其他组合未测试。仓库提供源码和离线测试，不是通用安装器。
推荐理由想折腾 webOS 电视、把语音和浏览数据留在本地的玩家可以看，但需自担变砖风险
OOSEX GANG 发布 HackiOS 项目，在 Android 手机硬件上启动苹果开源的 XNU 内核（xnu-8796.121.2，即 iOS 16.5 内核），并运行未修改的 iOS 16.5 用户空间，启动流程为 launchd → backboardd → SpringBoard → 应用。项目自研 EFI loader、UEFI 移植和闭源驱动替代品，可在 POCO X5 Pro 5G（骁龙 778G）上通过 fastboot boot 启动，系统全部驻留内存，重启即回到 Android；也可在 Q…
推荐理由想了解 iOS 内核在非苹果硬件上能跑多远，可看这份明确列出已实现与未实现功能的清单。
AI 初创公司 Recursive 发布首个模型 Flint，一个可在笔记本上离线运行、免费下载的编码模型，采用 Apache 2.0 开源协议。公司称其自动化研究系统 Eureka Machine 参与了 Flint 开发几乎每个环节，小团队不到四个月从零建成。Flint 为混合专家模型，总参数 400 亿，每次仅激活 25 亿。在 M4 Pro MacBook Pro 上生成速度约 131 tokens/秒，约为同机 Gemma 4、Nemotron 3.5 Lightning 等同类模型的两倍；在 RTX S…
推荐理由400 亿参数、激活 25 亿，笔记本离线跑 131 tokens/秒，Apache 2.0 可免费下载改
Simon Willison 昨日以 Apache 2.0 协议发布游戏 Battle Drones，今天已出现法语分支 Panache：把游戏背景换成 1900 年前后的法国「美好年代」，加入飞艇、蒸汽货车、装甲火车、戴军帽的自动机等蒸汽朋克模型，并新增动画开场视频，音乐也加入法国风格。作者称目前改动主要是美术和音效，玩法未变。
推荐理由Apache 2.0 开源游戏发布一天就有换皮分支，可点开体验新开场动画，也能看开源项目二次创作的速度。
开发者发布 Android 应用 Opposable，通过无障碍服务读取屏幕，并在其他应用中点击和输入。Claude、ChatGPT 或 Codex 可从电脑端驱动该应用；当这些模型都未连接时，一个 20 亿参数的屏幕模型会在手机本地运行同一套循环，不依赖服务器。该模型是阿里 Mobile-Agent 团队的 GUI-Owl 1.5，基于 Qwen3-VL 微调，以 4 bit 量化运行在 llama.cpp 上，语言模型占 1.05 GB、视觉编码器占 445 MB。在 Mac M2 CPU 上，单步耗时从 10…
推荐理由手机上跑 2B 模型操控 App，单步 7.3 秒、模型共 1.5 GB，可看端侧 Agent 的真实可用性
LayerFS 发布，定位是 AI 编码 Agent 底层的文件系统。每个 Agent 挂载一个可写工作区，在共享的已提交历史上工作，完成后提交改动并销毁工作区。每个工具调用对应一次原子提交，同一文件冲突会被拒绝并标记 Conflict，blame 可显示每行由哪一步写入。fork 只复制元数据、不复制文件，10 份副本经去重和压缩后约等于 0.31 份。挂载耗时实测 5–20 ms，node_modules 等依赖随挂载就绪，无需重新安装。原文信息有限，未披露开源协议与定价。
推荐理由多 Agent 并行开发时，挂载 5–20 ms、依赖免安装、fork 零拷贝
Modal 推出开源训练库 Modal Dojo，用于生产级 LLM 后训练。该库基于 Miles、Slime 等开源框架构建，官方称不到 100 行代码即可跑通训练流程，支持从 5 亿到数万亿参数模型，并可加载 Hugging Face 数据集或 Harbor 环境。Modal 表示，若已有生产环境的 Agent harness 和评测轨迹，就等于完成了 80% 的准备工作，可直接用这些数据训练。
推荐理由已有 Agent 生产轨迹的团队，可以用它把评测数据直接转成训练集，省去自建训练栈
vLLM 宣布从发布第一天起就支持 Recursive 的 Flint 模型，NVFP4 和 BF16 两个 checkpoint 都能在单张 GPU 上运行；在单张 GB200 上，即使上下文长度达到 100K tokens，单次请求的解码速度仍约为 500 tokens/s。Flint 是一个 40B 参数的 MoE 模型，每个 token 只激活约 2.5B 参数，多数层使用滑动窗口注意力，上下文长度为 262K tokens。官方提供了 vllm/vllm-openai:flint 镜像，支持 x86_64…
推荐理由单张 GB200 在 100K 上下文下解码约 500 tokens/s，40B MoE 只激活 2.5B
CopilotKit 团队成员开源了 answerLoops，一个把 GitHub、Discord、Telegram 等渠道的社区提问汇总到仪表盘、并借助知识库生成回复草稿的工具。系统用 Mastra agent 生成草稿，再由另一个 agent 审核草稿是否简洁准确，团队可在仪表盘中修改或弃用。另有一个基于 CopilotKit 的可嵌入网页聊天组件，支持分步指南、快捷回复、链接卡片等富文本回答。近期重点在知识库：管理员可手动录入文档中没有的答案，供 agent 引用。项目开源并在公开环境下开发。
推荐理由做社区或客服支持、想把零散问答沉淀成可复用知识库的团队，可以直接看它的双 agent 草稿加审核设计。
DeepSeek 发布 V4.1 Flash 模型，并首次公开内部推理栈 DeepInfer。据估算，DeepSeek 用该栈销售 token 的毛利率可达 90%，其效率可能明显高于 vLLM、SGLang 等现有开源工具。同期，中国商务部发布政策提案（尚未立法），要求前沿 AI 模型等技术的国际共享需事先审批，但开源技术将走自动审批通道。美国国土安全部则下令禁止 DeepSeek 及其模型作为联邦民用采购供应商。
推荐理由DeepInfer 是首个头部实验室公开的推理栈，做部署和推理成本优化的人可以直接研究
YC W24 团队 Respan 在 Hacker News 发布开源 Rust AI 网关。该网关采用解耦架构，提供商、协议（MCP、语音）、模态（图像、视频）和网关功能（故障转移、PII 脱敏、智能路由）均以插件形式实现。团队称不把大量提供商和功能打包进单一网关，而是提供小核心和公开接口供团队自行扩展。原文信息有限，未披露性能数据与开源协议。
推荐理由做多模型接入或需要 PII 脱敏、智能路由的团队，可看插件化网关的另一种架构取舍
安全研究者 Katriel 在 Hacker News 发布开源暗网 OSINT 工具 VoidAccess，可将查询结果整理成关系图。作者称暗网内容难以导航，因此想用开源引擎做出超越现有付费安全工具的产品。该工具是其邮件 OSINT 工具 MailAccess 的前作，原文未披露具体功能细节和技术实现。
推荐理由做威胁情报或 OSINT 的人可以看看这个开源暗网关系图工具的实现思路
AI 芯片初创公司 Tenstorrent 完成 15 亿美元融资，估值 62 亿美元，较 2024 年底的 26 亿美元翻了一倍多。本轮由 Trace Capital 和 Innovation X 领投，Cadence Ventures、Eclipse、Fidelity、SanDisk、T. Rowe Price 参投。CEO Jim Keller 向 Bloomberg 表示，在证明其 Galaxy 服务器可运行 DeepSeek 模型后，公司决定保持独立并继续融资。新资金将用于扩大面向开源权重模型推理和视频生…
推荐理由做推理芯片选型或关注英伟达替代方案的人，可留意 Galaxy 服务器已能跑 DeepSeek 这一信号。
Hugging Face 发布 TorchNeuron，为 AWS Trainium 提供 PyTorch 原生后端，支持 eager 模式、torch.compile 以及 FSDP、TP 等分布式 API。Transformers、Diffusers、Accelerate、PEFT、TRL 可直接在 Trainium 上运行，无需再经过 Optimum Neuron。10 月 20 日起开放公测，可通过 pip install torch-neuronx 安装。在文本生成方面，使用 TorchNeuron 时，…
推荐理由在 Trainium 上跑模型的架构覆盖率从 46% 升到 89%，只需改一个 device_map 参数
Ranet3 是一个开源 SD-WAN 项目，它只用标准协议搭建网状网络：节点之间用 IKEv2 和 ESP 建立加密隧道，用 Babel 按 RTT 选路，用 SRv6 做策略路由。它已与 strongSwan、BIRD 和 Linux seg6local 完成互通验证，因此不运行 Ranet3 的节点也能接入。Babel 会持续测量每条链路的往返时延，直连链路变慢时自动改走中继，直连恢复更快后再切回。SRv6 段路由在用户态实现，在 macOS 上也能用。作者在 2026-10-15 的测试显示，单流吞吐达到 …
推荐理由想用标准协议替代 Tailscale 类私有 agent 组网的人，可看它的吞吐数据和时延代价
Bluesky 在 TechCrunch Disrupt 2026 上宣布扩展其 AI 平台 Attie，用户可创建网站、测验、游戏、投票等互动体验，这些内容运行在 AT Protocol 上并接入 Bluesky 的 4700 万注册用户。用户可自带 AI 模型或使用开放权重模型，创建内容与 ATProto 身份绑定。CEO Toni Schneider 称其为「社交 vibe coding」。ATProto 的私有数据支持已进入 alpha 测试，计划年底前推出。
推荐理由4700 万用户的社交网络开放 AI 建站建游戏，自带模型即可接入，做社区工具的人可以试
LangChain 在 Interrupt NYC 和 London 活动上发布多项更新。LangSmith 新增 AI Search（按语义搜索 trace，如判断用户是否沮丧、是否泄露 PII）、Managed Deep Agents v0.9（支持 Slack 交互、用户级记忆、定时任务，内置免费网页搜索）、Engine v2（红队测试、自动验证修复）、Trajectories（按时间线查看主 Agent 与子 Agent 路径）、Custom Apps 和 Fine-Tuning（用 Baseten 或 F…
推荐理由做 Agent 可关注 Managed Deep Agents 的免费网页搜索和用户级记忆，以及用生产轨迹微调模型的流程