Google 采用 Meta 开源的 Pyrefly 作为内部 Python 类型检查器
Google 宣布以 Meta 开发的开源类型检查器 Pyrefly 取代沿用十多年的 Pytype,用于其 monorepo 中数十万个 Python 文件,为工程师和智能体带来显著提速并大幅减少构建系统算力。Pytype 因基于字节码分析难以跟上新类型 PEP,Python 3.12 将是其最后支持的版本。
Google 宣布以 Meta 开发的开源类型检查器 Pyrefly 取代沿用十多年的 Pytype,用于其 monorepo 中数十万个 Python 文件,为工程师和智能体带来显著提速并大幅减少构建系统算力。Pytype 因基于字节码分析难以跟上新类型 PEP,Python 3.12 将是其最后支持的版本。
微软合伙人研究经理 Jennifer Neville 谈她从数学、物理、认知科学到计算机科学的经历,以及研究人机交互中 AI 失败的经验。
Mistral 推出 Mistral Large 4 公开预览,为 1 万亿参数、520 亿激活参数的原生多模态模型,主打开放权重前沿性能,预览 API 已在 Mistral Studio 上线,权重将于本月底发布。
推荐理由:欧洲最大开放权重模型的一手发布,给出了参数规模和权重开放时间。
GitHub 推出开放基准 ReviewBench,用于衡量 AI 代码审查工具检查 pull request、发现问题和判断优先级的能力,帮助团队在采用前了解各审查器的强弱项。
Import AI 本期涵盖 Toby Ord 关于何时使用智能体群体(swarm)的分析、Google DeepMind 的生物水印研究以及 AI 科研经济等话题。
RageLayer 在 Product Hunt 发布,是可嵌入自有网站的彩蛋,访客可用锤子、火焰、电锯或黑洞把真实页面文字和卡片打成物理碎片,再用扫帚复原。共 15 种工具,支持 React、Vue、Svelte 或纯 HTML,免费、MIT 许可、零运行时依赖。
App Store Screenshots 是供 Claude Code、Codex 和 Cursor 使用的免费开源技能,提供应用截图和简短说明后,智能体会在项目里搭建本地截图编辑器,可选 18 种风格、编辑文案,并按 iPhone、iPad、Mac 和 Android 各尺寸及多语言导出。安装命令为 npx skills add ParthJadhav/app-store-screenshots。
Google Open Source Programs Office 每周开源阅读汇总,本期认为开源 AI 的下一阶段不在于追逐更大的基准分数,而在于构建让开发者和维护者保持控制的开放基础设施、透明本地工具和社区规范。
GitHub 建议开发者学会指挥 AI 而非只是使用它、评估 AI 输出、沟通取舍并做出稳健的技术决策。
Not Boring 每周科技进展汇总,作者宣布本季度与 Runway 合作,用其视频模型把文章故事做成短片,本期第五个故事附带了用几条提示词制作的短片。
Apache Iceberg 社区合并了 REST Catalog 规范的一项改动,为湖仓提供标准、与引擎无关的列脱敏和行过滤表达方式。Google Cloud 作者解释,由于开放表格式的读取路径上没有服务器把关,这一小改动补上了数据治理的结构性缺口。
Y Combinator 宣布 Vivian Midha Shen 和 Raphael Schaad 成为新任普通合伙人。Vivian 曾创办 Juni Learning 和 AI 辅导产品 Acely,两家公司收入超过 5000 万美元,Acely 以精简团队从零做到 1000 万美元年化收入;Raphael 创办的 Cron 于 2022 年被 Notion 收购。
Trends.vc 分析 AI 游戏生成器赛道,用户输入想法几分钟内即可游玩并发布到信息流,梳理 Astrocade、Roblox、Aippy、PromptBlox、Makie 等玩家;预测托管成本会迫使平台限制或收费,并提到 Rec Room 因提示词工具每位玩家都亏钱而限制使用。
Google Cloud Lakehouse 团队发布新公共数据集,供在 Apache Iceberg 上对查询引擎做基准测试,内容包括 Google Chrome 维基百科页面浏览量和 Chromium 提交记录等,可用 BigQuery、Apache Spark 或 Trino 查询。
Magnitude 是开源推理引擎,会在用户硬件上调优 kernel 找到运行每个模型的最快方式,称比 Ollama 快 2 倍以上,支持 Apple Silicon、NVIDIA、AMD、Intel 和纯 CPU。提供桌面应用和 CLI,可一键连接 Pi、OpenCode、Hermes、Codex 等智能体。
Microsoft Research 的机器学习流程利用预测时的太阳风信息,结合 AE 与 Dst 指数预报和当地纬度、地质及电网特征,为美国本土 66935 个变电站生成位置相关的风险估计。
Trends.vc 本期主文拆解开源分析工具 Plausible,用 324 天才赚到每月 400 美元,此后在零付费广告的情况下增长到 100 万美元 ARR。每周预测认为付费编码工具将不再对模型用量加价,因为 JetBrains 和 VS Code 相隔 8 周都加入了直接填写密钥的设置。
Vespper 发布面向 AI 智能体的 Docx MCP,针对法律、金融和医疗等领域里 Word 文档即交付物的场景。团队访谈数十位工程师发现,他们需花数周到数月调教 harness 才能可靠编辑 Word,现有 SDK、MCP 或转 Markdown 往返等方案在复杂情况下都不够用。
Mistral 在慕尼黑开设新中心,面向欧洲最大经济体德国推进工业 AI,称最重要的 AI 应用将在解决真实工业问题的地方诞生。
Not Boring 作者深度介绍其投资的 Airbound,创始人 Naman Pushp 年仅 21 岁,疫情期间靠 YouTube 自学物理、工程和制造,造出真正能飞的飞行器,公司获 Greenoaks、Lightspeed 和 Lachy Groom 支持,目标是把各种运输搬到空中。
Import AI 本期讨论 Michael Levin 关于心智来自柏拉图空间的论文、在太空部署 TPU 以及智谱启动递归自我改进外循环等话题。
GitHub 介绍 Copilot 应用中的 canvas 扩展:一种用户与智能体共享的可定制界面,让界面围绕用户想要的工作流成形。
Not Boring 每周科技进展汇总,本期由招聘服务 Jack & Jill 赞助,汇集一周创业者和科学家的进展。
Google Open Source Programs Office 每周开源阅读汇总,本期关注开源可持续性,包括包仓库版税提议、受监管电网的 2–5 倍净价值,以及把自主 AI 安全事件转化为供应链防御,并列出 MCP Dev Summit Toronto、GitHub Universe 2026 等活动。
Trends.vc 分析 AI 算命应用,涵盖塔罗、占星、韩国四柱、八字和咖啡杯占卜等形式,提到 Project A 每月收入 64,000 美元、Tight Saju 一年内从每月 1000 万韩元增至 10 亿韩元,AstroSage 称 AI 解读毛利 90%,而人工占星师为 45 到 55%。另指出 Apple 已拒绝新的算命应用。
Horowitz Andreessen Academy 正式启动,由 Udemy 创始人 Gagan Biyani 联合创办并任 CEO,面向大学年龄的年轻人,在旧金山以住宿形式学习做东西,定位为大学替代方案。Not Boring 作者与 Alex Danco 以家长视角讨论是否会让自己的孩子去。
持牌保险经纪 Coverage Cat 推出供个人 AI 智能体调用的伞式保险入口,智能体可通过 agent-card.json 或 MCP 接入其 API,网站称已服务数万用户且不出售线索。
Import AI 本期涵盖 RAND 认为美国最佳 AI 战略是保持所有选项开放等多项研究与政策讨论。
Not Boring 每周科技进展汇总,本期由文档解析服务 Reducto 赞助,并推出收录常引书籍和文章的 not boring library。
Skillsync 作为通用转换器,把散落在各编码智能体中、格式各异的 AI 对话整体迁移到其他智能体,避免因技能与记忆积累被锁定在单一提供商。该帖在 Hacker News 获 68 分和 62 条评论。
Mistral 宣布与 Mozilla 合作,Firefox 的 AI 浏览助手 Smart Window(测试版)现由 Mistral 模型驱动,强调隐私、控制和多语言能力。
Savor 让用户用语音、文字或照片把想法变成按“现在、很快、以后”分类的卡片,并在合适时提醒,测试版还能帮助规划和起草。
Not Boring 每周科技进展汇总,本期发于 9·11 二十五周年,开头分享 Colson Whitehead 的文章 Lost and Found。
Mistral 与 Cloudera 合作,面向金融、制造和电信等受监管行业企业,在本地和云端数据平台上提供专用、主权可控的 AI 能力。
Mistral 介绍帮助一家欧洲机构用 AI 智能体现代化积累数十年、原作者已离开且所用语言缺乏开发生态的科学代码库。
Import AI 本期涵盖研究者发现又一起 OpenAI 智能体涌现通信事件、DeepMind 数学智能体作弊以及民粹主义 AI 政策等话题。
Mireye 通过一个 API 和 MCP 服务器,为智能体提供美国任意地点的数据、补全、工具和信号,帮助其对实体场所做决策;免费 key 含 5,000 credits,无需信用卡。创始人此前做建筑智能体时遇到这一瓶颈。
Paul Graham 称辅导创业公司时最有用的启发式问题是如何让公司更强大,而不只是如何多赚钱,后者往往只带来渐进改进。具体方向包括掌握客户关系、让资金流经自己、打造类似应用商店的平台以及引入网络效应,有时能把服务变成市场。
Import AI 本期讨论作者对 Hugging Face 的担忧、太空采矿以及五眼联盟在 AI 上的动向。
Paul Graham 认为 YC 合伙人看重的是擅长做东西且有做东西习惯的人,创业最难的是产品,所以大学培养创始人的最佳方式不是开设创业课程,而是做好计算机、机械工程、分子生物学等本行教学。