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…
亚马逊 CEO Andy Jassy 在财报电话会上表示，2026 年现金资本支出约 2200 亿美元，大部分投向 AWS，2027 年还会明显增加。AWS 当前年化营收规模为 1840 亿美元，本季同比增长 39%，已连续六个季度稳步增长。Jassy 预计 2027 和 2028 年增速都将超过 40%，并在未来 5 到 10 年成为万亿美元营收业务。投资者对巨额支出仍有顾虑，盘后股价下跌约 6%。
推荐理由看清单季 2200 亿美元资本支出与 AWS 40% 增速预期，判断 AI 云基建投入是否过热
Intel CEO 陈立武在财报电话会上表示，面向低价笔记本的 Wildcat Lake 芯片需求超过供应，CFO David Zinsner 确认该芯片已售罄。Zinsner 称 Wildcat Lake 增长显著，其成本优化正好赶上 PC 涨价潮。近几个月 RAM 等零部件短缺推高 PC 价格，Wildcat Lake 被用于戴尔 XPS 13、惠普 Omnibook 5 14 等低价 Windows 笔记本，起价友好但常只配 8GB 内存。Intel 预计内存短缺明年不会改善，2027 年也不乐观，比 SK …
推荐理由做 PC 采购或硬件生意的人可留意：低价本芯片已断供，8GB 内存机型会更多，明年内存价格难降。
亚马逊第三季度净销售额同比增长 12% 至 2019 亿美元，略低于分析师预期的 2022 亿美元；每股收益 1.89 美元，低于预期的 1.97 美元。AWS 收入 459.8 亿美元，超过预期的 452.9 亿美元，同比增长 39%，营业利润从去年同期的 114 亿美元增至 178 亿美元。过去 12 个月自由现金流为负 424 亿美元，去年同期为正 148 亿美元。公司称支出主要来自 AI 投资，重申 2026 年现金资本支出约 2200 亿美元，并预计第四季度净销售额为 2400 亿至 2470 亿美元。
推荐理由AWS 增速 39%、全年 AI 资本支出 2200 亿美元，是判断云与 AI 算力投入规模的关键数字。
据 Bloomberg 报道，Situational Awareness 正在向客户推介，让他们与自己一同投资 AI 云服务商 Fluidstack。本轮融资对 Fluidstack 的估值为 400 亿美元，而 9 月时的估值还是 180 亿美元，一个月内翻了一倍多。原文信息有限，未披露融资金额、参投方和资金用途。
推荐理由一个月估值从 180 亿涨到 400 亿美元，可用来判断 AI 算力云这轮泡沫有多大
YC F26 项目 Simantic 在 Hacker News 发布，创始人 Ahnaf 和 Seungmin 均为前 Neuralink、Tesla 固件工程师，曾参与 Cybertruck 和 Roadster 早期原型开发。产品是一个仿真层，让工程师和 AI Agent 在没有硬件的情况下测试和验证固件。原文正文在此处截断，具体技术方案、定价和可用状态信息有限。
推荐理由做嵌入式或 Agent 落地的可以看看：无硬件验证固件是 Agent 进入硬件领域的卡点。
LangChain 发文介绍在 Managed Deep Agents 中用 Schedules SDK 构建主动型常驻 Agent。文中称，LangSmith 上超过 70% 的 Managed Deep Agent 运行来自定时调度，而非人工发消息。文章把这类 Agent 的能力归为三类：记忆（用 cron 定期把历史对话压缩成长期记忆，即“dreaming”）、主动性（按小时级频率提示 Agent 推进目标并主动发消息）、智能分诊（定时监控 Slack、邮件等信息源并推送相关内容）。文中还提到 Muse、In…
推荐理由70% 的运行靠定时任务，做常驻 Agent 可直接照搬 cron 加记忆压缩这套结构
据日经亚洲报道，业内人士称 PCB（印制电路板）和芯片基板正成为消费电子厂商的关键供应约束，原因是 AI 需求持续占用产能。惠普、戴尔等 PC 厂商高管在规划 2027 年供应需求时，已把这类原本普通的元器件列为关注点。原文信息有限，未披露具体产能缺口或涨价幅度。
推荐理由做硬件、供应链或 PC 相关业务的人可提前留意 2027 年 PCB 与基板的交期风险。
据路透社援引消息人士报道，中国长鑫存储（CXMT）计划启动 HBM3E 高带宽内存芯片的量产，但当前良率只有 20% 至 30%。其 HBM3E 的性能接近 SK 海力士上一代 HBM3 芯片的水平。HBM3E 是配合 AI 处理器使用的高带宽内存。原文信息有限，未披露量产时间表和产能规模。
推荐理由国产 HBM 良率仅 20%-30%，性能落后一代，可据此判断国产 AI 芯片内存供应的真实进度
在 TechCrunch Disrupt 座谈会上，WeaveGrid CEO Apoorv Bhargava、Veir CEO Tim Heidel 与 Rewiring America 政策副总裁 Kristin Eberhard 讨论了 AI 数据中心带来的电力需求激增。Bhargava 表示，电网正面临可再生能源、电动车、数据中心和热泵带来的大量新变量，公用事业公司需要具备管理和调度能力；WeaveGrid 的软件帮助机构高效部署能源并优化接入，以降低电费。Veir 销售超导输电线，称其输电距离是传统电缆的…
推荐理由了解 AI 数据中心电力瓶颈的具体技术解法：超导线路 5 倍输电距离、20 倍省空间，以及 1.1 亿美元融资去向。
AI 算力云服务商 General Compute 完成 1 亿美元 A 轮融资，由 Blackbird Ventures 和 Abstract Ventures 领投，投后估值 8 亿美元，而 5 月种子轮后估值仅 6000 万美元。公司专做基于 Nvidia 竞争对手推理芯片的云服务，与 SambaNova 签下 4 亿美元芯片采购协议，并将 Positron、Cerebras 纳入供应商。一笔年经常性收入 1 亿美元的大客户订单为融资铺路。CEO Finn Puklowski 预计 2027 年部署 75 兆…
推荐理由在 CoreWeave 股价跌至 12 个月低点、Musk 唱衰 neocloud 时
英伟达参与印度初创公司 Simplismart 的 1400 万美元 B 轮融资，本轮由 Dallas Venture Capital 领投，Accel、Shastra VC、Micromax 跟投，公司估值约 1 亿美元。Simplismart 的软件位于 AI 模型与算力基础设施之间，自动调整模型的响应速度、并发量和算力消耗，支持在自有平台或客户已有的云和本地环境中部署、微调、弹性扩缩容和监控。公司称帮助 AI 视频平台 InVideo 将 GPU 服务成本降低 56%，客户还包括 HeyGen、Higgsfi…
推荐理由GPU 成本降 56% 的具体案例，做推理部署和成本优化的团队可以直接参考
MIT Technology Review 报道，传统变压器设计约百年未变、供应紧张，而电动车和数据中心用电需求快速上升。固态变压器用磁性元件加高功率半导体替代大量特种钢和铜线，体积更小、对电流控制更精细，目前仍在研发中，尚无法替代远距离输电所需的最大型号高压变压器。文章以美国太阳能电站为例说明电网升降压流程：逆变器把直流电转为约 480 伏交流电，升压到 115000 伏输电，再降到 120 伏和 240 伏入户。
推荐理由想了解 AI 数据中心电力瓶颈的读者，可看清变压器这一被忽视的电网卡点。
Wraps 是一个开源的 Amazon SES 运营层，部署在用户自己的 AWS 账号内。它通过 EventBridge、Lambda、DynamoDB 捕获退信和投诉事件，每小时读取 SES 的退信率与投诉率，对照 AWS 的 5% 退信审查线和 10% 暂停发送线，接近阈值时通知账号管理员，到达暂停线时暂缓定时群发。审计功能一次检查 DKIM、SPF、DMARC、MX、TLS、BIMI 和 50 多个公共黑名单。Wraps 不存储任何 AWS 凭证，只通过可撤销的角色读取数据，并支持在安装前用 wraps em…
推荐理由自建 SES 发信的人可以用它提前收到退信率告警，避免账号被 AWS 暂停发送
据 Bloomberg 报道，Jane Street、Hudson River Trading 等高频交易公司正竞相争夺 AI 算力。一位高管估计，当前算力支出是 ChatGPT 发布前的 10 到 20 倍。Jane Street 在得州运营的数据中心配备超过 4000 块 Nvidia GPU，并向 CoreWeave 直接投资 10 亿美元、承诺采购 60 亿美元算力服务。Hudson River 每年在 AI 上花费 10 亿美元，并与 CoreWeave 签署多年协议。Jane Street 还领投了芯片…
推荐理由看高频交易公司如何用 10 亿美元级投入换取算力优势，以及 CoreWeave、Etched 这类供应商的客户结构
LangChain 基于内部营销、销售、工程三个团队实际部署的 Agent，提出构建“company harness”的五个共同要素：Agent 生活在员工日常工具里（如 Slack）；知道提问者身份，部分服务以该用户身份（OBO）执行、部分用自身身份；具备全局和用户级记忆；代码在沙箱中运行并可调用需鉴权的服务；大量运行由定时触发而非人工调用。文中介绍了三个内部 Agent：GTM Agent 处理邮件、线索和每日简报，OpenSWE 起草和审查 PR，Content Studio 生成营销素材。原文还讨论了 Sl…
推荐理由做企业 Agent 的团队可直接对照这五个组件检查自己的架构，尤其是身份与定时触发两块。
OpenAI 发文介绍其在线存储平台 Habitat 的扩容方案。Habitat 需在 40 个地理区域内为超过 10 亿用户提供毫秒级数据访问，目前承载超过 500PB 数据。文章第二部分聚焦底层存储组件 Azure Cosmos DB 的扩展：OpenAI 与 Azure 团队合作，采用「共同管理的容器」多租户方案，在大规模下获得良好读性能。文中提到，Habitat 的多租户架构经历了从单一多租户容器，到为每个租户单独配置容器，再回到默认多租户容器的过程，并借助 Cosmos DB 内置能力推迟了相关投入。
推荐理由做大规模存储或多租户架构的工程师，可参考 OpenAI 在 500PB、10 亿用户规模下的多租户取舍。
开发者 Aonica 在 DEV Community 发文，讨论 AI 融入数字基础设施后架构面临的新问题：系统不仅要输出准确，还要说明输出如何被验证、自动化操作如何被授权、关键操作如何被独立审计。文章提出把「数字信任」当作工程属性，核心设计原则是分离分析输出与操作权限——AI 模型只产出分析结果，由独立的策略与风险控制层判断动作是否合规，再交给授权层执行，并全程审计监控。文章还讨论了区块链作为验证层的用途（交易历史、智能合约执行、状态验证、权限管理、完整性检查）及其局限：不可篡改记录不能证明原始输入准确，智能合约…
推荐理由做 AI 自动化落地的团队可直接参考「分析层与执行层分离」的架构分层，避免模型输出直接触发操作。
Dwarkesh Patel 在播客中发布了对 Intel 管理层的采访，受访者包括 CTO Pushkar Ranade。访谈话题涵盖 AI 芯片需求、10nm 制程的经验教训、Intel 能否追上台积电，以及 Terafab 等。Patel 表示，他在 Intel 最先进的晶圆厂参观了两天，并据此整理了这次访谈。原文正文信息有限，具体观点和数字未在摘要中披露。
推荐理由想了解 Intel 代工路线和 Terafab 计划的人，可以听 Intel CTO 亲口讲 10nm 的教训
AI 搜索基础设施公司 TinyFish 发布两份技术指南，分别定义生产环境的 agentic search 架构，以及构建深度研究系统的经验。系统由 TinySearch、TinyFetch、TinyBrowser、TinyAgent 四个 Web 原语组成，在基础模型外围运行七阶段控制循环：定义任务、规划检索、选择路径、发现与获取、评估证据、恢复或升级、停止与验证。在 OpenBenchmarks 上，编码任务完成率 79.0%，中位任务成本 0.050 美元，token 消耗最低。架构参考 2026 年 2 …
推荐理由做生产级搜索 Agent 的团队可直接参考其七阶段循环和按失败类型重试的设计，成本 0.05 美元/任务。
Counterpoint Research 数据显示，2026 年第三季度全球 PC 出货量同比下降 21%，与 IDC、Omdia 此前报告一致。Counterpoint 将下滑归因于零部件涨价：内存、SSD 以及 Intel、AMD、高通芯片价格均上涨，带动 MacBook 到树莓派等产品提价。此前 PC 出货量已连续增长两年多。部分厂商转向更能消化成本上涨的配置，甚至重启 DDR4 内存和 4GB 显卡等旧技术。2025 年第三季度因 Windows 10 支持到期前的提前采购和关税相关库存调整，基数偏高，也…
推荐理由内存涨价已传导到整机价格，做硬件选型和采购预算的人需要知道 Q4 预计再跌 27%。
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 内核在非苹果硬件上能跑多远，可看这份明确列出已实现与未实现功能的清单。
Xona 完成 2.5 亿美元 D 轮融资，估值 24.5 亿美元。该公司计划部署由 258 颗卫星组成的低地球轨道星座，作为 GPS 的商业替代方案。原文信息有限，未披露投资方、星座部署时间表和现有在轨卫星数量。
推荐理由GPS 商业替代方案拿到 2.5 亿美元 D 轮，估值 24.5 亿，可判断卫星导航赛道的资本热度
在 GTC Berlin 上，英伟达 CEO 黄仁勋表示，他已要求英国 neocloud 公司 Nscale「全天候」解决数据中心延期问题。报道提到，投资者对 Nscale 的 IPO 存在疑虑。原文信息有限，未披露延期细节和 IPO 时间表。
推荐理由关注英伟达算力供应链和 neocloud 上市进展的读者，可留意这条信号。
黑石管理合伙人 Jas Khaira 在 TechCrunch Disrupt 上表示，市场对 AI 基建债务的担忧被夸大。黑石管理资产规模 1.3 万亿美元，今年成立旧金山 AI 中心 Blackstone N1（BXN1），自称是超大规模云厂商之外最大的算力持有者。BXN1 参与了对 Google TPU 商业化新云 Crux AI 的 50 亿美元投资，并投资芯片公司 Etched。黑石 2023 年以 GPU 作抵押、结合客户合同分析，向当时年收入仅 3000 万美元的 CoreWeave 放贷 23 亿美…
推荐理由想理解 AI 算力融资怎么定价、GPU 抵押贷款风险在哪的人，可以看 CoreWeave 那笔 23…
GitLab 修复了一个严重漏洞，未认证攻击者可在自管理服务器上执行任意代码。该漏洞影响自 2014 年 7.0 版本以来的所有发布版本。原文信息有限，未披露漏洞编号、CVSS 评分和具体利用条件。
推荐理由用 GitLab 自建服务器的团队需尽快确认版本并升级，7.0 之后的所有版本都在影响范围内
一名开发者在 Arch Linux + Wayland、Intel 核显与 NVIDIA RTX 4090 Laptop 双显卡的笔记本上，为在浏览器里运行 Transformers.js 和 ONNX Runtime 的小模型，调试出可用的 WebGPU 配置。他给出的方案是一个 Bash 脚本：用独立 Chrome 配置目录，设置 VK_LOADER_DRIVERS_SELECT、__NV_PRIME_RENDER_OFFLOAD 等环境变量强制走 NVIDIA，并加上 --enable-unsafe-webg…
推荐理由想在浏览器本地跑小模型、又被 Linux 双显卡 WebGPU 卡住的人，可以直接抄这套启动参数
GitHub 工程博客披露，过去一年 Git 流量指数级增长，平台上 99.99999% 的 Git 仓库已同时存放在自有数据中心和 Azure 两处，Azure 目前承载约一半的 Git 流量。迁移动因是 agent 带来的流量激增、数据中心及所在地区电力容量触顶和供应链限制。首个仓库副本于 2025 年 8 月落地 Azure 美国中部区域，多数仓库的 5 个副本中已有 2 个在 Azure。剩余 0.00001% 是最繁忙的仓库，受限于 25ms 往返延迟；GitHub 通过调整 quorum 写入串行化方式…
推荐理由了解 agent 流量如何逼出 GitHub 存储架构改造，25ms 延迟是最后一批仓库迁移的关键卡点。
Nvidia 发布 621.01 版 GPU 驱动，支持微软的 Advanced Shader Delivery 技术。该技术把不同硬件组合的着色器编译放到云端完成：开发者用 DirectX 12、Windows 11 和 Microsoft Agility SDK 将着色器捕获进 State Object Database（SODB），再由微软云网络为数十万种硬件与驱动组合预编译。缓存命中率接近 100%，可消除游戏中“即时”着色器编译导致的 CPU 峰值和卡顿。《战争机器：E-Day》和《使命召唤：现代战争 4…
推荐理由常玩 PC 游戏的读者可升级驱动，跳过着色器编译等待并减少卡顿。
Nvidia 推出 OpenShell Reference Architecture，一套用于保护、监控和治理 AI Agent 的框架。合作方包括 Canonical、AWS、BBVA 等。原文信息有限，未披露具体技术细节和上线时间。
推荐理由做企业级 Agent 部署的团队可以留意 Nvidia 这套治理框架的切入方式
YC S25 项目 Alter 在 Hacker News 发布 Alter Vault，为多用户 AI Agent 提供身份认证、权限授权和审计日志。核心做法是给每个 Agent 分配独立密钥和细粒度授权，而不是共用一把权限过大的密钥。平台支持 140 个服务商集成，一次 SDK 调用即可完成凭证存储、刷新、策略校验和审计，并提供 LangChain、MCP、AWS 集成。策略默认拒绝，风险调用需人工审批，可即时吊销 Agent 或密钥。合规方面 SOC 2 仍在认证中。
推荐理由做多 Agent 上生产的团队可以直接参考它的按 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
YC W24 团队 Respan 在 Hacker News 发布开源 Rust AI 网关。该网关采用解耦架构，提供商、协议（MCP、语音）、模态（图像、视频）和网关功能（故障转移、PII 脱敏、智能路由）均以插件形式实现。团队称不把大量提供商和功能打包进单一网关，而是提供小核心和公开接口供团队自行扩展。原文信息有限，未披露性能数据与开源协议。
推荐理由做多模型接入或需要 PII 脱敏、智能路由的团队，可看插件化网关的另一种架构取舍
Reliable Robotics 完成 D 轮扩展融资 1.15 亿美元，其中 9000 万美元股权由 Nimble Partners 领投，2500 万美元债务来自硅谷银行。D 轮累计 2.75 亿美元，公司估值突破 10 亿美元，累计融资 3.8 亿美元。公司为现役飞机加装自主飞行系统，正推进 FAA 的四项认证：首款产品让飞行员留在机上、通过触屏交互完成发动机启动、滑行、起飞和降落，CEO Robert Rose 预计 18 至 24 个月内取证；第二项认证将飞行员移至地面控制站，至少还需 3 年；自研无活…
推荐理由看 FAA 四项认证的时间表：18-24 个月、3 年、2027 年底，可判断自主飞行商业化节奏
DeepSeek 开源了内部生产推理栈 DeepInfer，官方称其用于加速推理、优化芯片性能并降低能耗与算力成本。原文未披露 DeepInfer 的具体技术细节、支持的硬件范围、性能提升数字和开源许可证。
推荐理由DeepSeek 首次公开生产级推理栈，做推理部署和成本优化的人可以直接去看实现思路
三星在韩国平泽建设大型半导体制造园区，已有三座晶圆厂 24 小时运转，第四座即将投产；第五座在 2024 年因存储芯片需求下滑而停工，AI 热潮带动需求后重启。园区面积约相当于纽约中央公园。三星预计存储芯片需求将持续增长至 2028 年，并希望借此夺回被 SK 海力士抢占的高带宽内存（HBM）市场份额。
推荐理由看懂 AI 算力扩张的上游瓶颈：HBM 产能与三星、SK 海力士的份额之争，直接影响 GPU 供给和价格。
PyTorch 2.15 在 MPS 后端加入 FP8 支持，可在 Mac 上以 BF16 一半的空间存储 float8_e4m3fn 数值。MoE 模型解码速度比 2.14 快 5-6.5 倍：在 M3 Ultra 上，Qwen3.6-35B-A3B 从 9.4 tokens/s 提升到 61.3 tokens/s，LFM2.5-8B-A1B 从 23.6 提升到 123.6。词表 softmax 约快 8 倍。Wan2.2 视频 VAE 解码峰值内存从 270 GiB 降到约 8 GiB。此外还修复了 Qwen…
推荐理由在 Mac 上运行本地大模型的用户升级后，MoE 解码速度可提升 5 倍以上
CoreWeave 债券收益率较国债高出 1000 个基点，按常见定义已进入困境债务区间。自上周二收盘以来股价跌超 20%，并波及部分其他 AI 公司。联合创始人 Brannin McBee 表示希望债务达到投资级，以便向保险公司借款，这加剧了投资者对其继续举债的担忧。截至第二季度财报，CoreWeave 负债超 350 亿美元，上半年亏损超 10 亿美元，客户剩余履约义务为 1037 亿美元。
推荐理由持有 AI 算力股或关注 AI 基建融资的人，可看 350 亿美元负债和 1037 亿美元订单这两个数字的对比。
AI 编码工具 OpenCode 遭黑客攻击，攻击者利用漏洞在用户 AI 账户上产生费用。原文正文实际主要报道 AWS 发布 TorchNeuron 工具，该工具让 PyTorch 应用只需改一行配置即可跑在亚马逊 Trainium 芯片上，AWS 称约 85% 的 AI 应用用 PyTorch 编写。关于 OpenCode 攻击事件的具体细节，原文信息有限。
推荐理由用 OpenCode 的开发者应尽快检查自己账户的用量和扣费记录。
Numan 基于 LangGraph 和 LangSmith 构建了 AI 健康教练 Nu，采用按类别评估、模拟对话和合规安全门控。原文信息有限，未披露模型选型、评估指标数值或上线效果数据。
推荐理由做医疗、健康类 Agent 的团队可参考其按类别评估加安全门控的落地方式