DigitalOcean 推出基于开源 Firecracker 的 MicroVMs 公开预览，提供毫秒级启动、空闲暂停与恢复的隔离虚拟机，暂停期间不计计算费。适用于编码代理、沙箱、CI/CD 等场景，支持检查点、自动恢复和 VPC 私有网络。按 vCPU 和内存秒级计费，存储另计。

俄亥俄州政治博主拜恩斯因向共和党州参议员西里诺发送含裸体史莱克图片的短信，被判电信骚扰罪成立，罚款200美元。拜恩斯称属言论自由，参议员则认为这是骚扰。

OpenAI一次性发布近400项AI生成的数学成果，涵盖数论、几何等领域，令数学家震惊。其中仅约42%经Lean形式化验证，论文质量参差、引用混乱，专家担忧“垃圾潮”冲击学术。许多人的多年研究计划被瞬间抹平，年轻学者尤受打击。部分成果被认为可达顶级期刊水平，但理解全部内容或需数年，学界深感不安。

Cloudflare收购了Node.js创始人Ryan Dahl联合创办的Deno团队。Deno独立运行时和托管服务将逐步关停，团队转而投入Cloudflare Workers。双方计划将Deno的Celld项目与Workerd合并，打造开源、可自托管、避免厂商锁定的分布式应用平台。Deno运行时将维护一年，Deno Deploy六个月内关闭。

美国国防部计划直播枪击案凶手尼达尔·哈桑的死刑。FCC主席布伦丹·卡尔表示，该直播不在广播电视频道，FCC无管辖权；若国防部希望电视播出，将由国防部长赫格塞思决定。

尼康“小世界动态”显微视频大赛原冠军徐宁因使用生成式AI被取消资格。其作品曾展示儿童呼吸道纤毛运动，经质疑后徐宁承认用神经网络进行AI辅助后处理。尼康表示将重新审视比赛规则，新冠军由阮南一获得。

谷歌预告Fitbit Edge将于10月12日发布。泄露信息显示，这款健身追踪器配备1.34英寸常亮OLED触屏、内置GPS、心率血氧及心电图传感器，可预警房颤和心律不齐，续航约七天，售价约180美元。

新Pro团队默认部署保留期改为30天，以应对编码代理加快开发导致的部署频率和历史存储增加，缩短保留期可保留近期记录并降低存储成本。用户可在团队设置中选择更长保留期以便检查或回滚。部署存储和函数存储均为每GB月0.10美元。超出保留策略的旧部署可能被删除，且无法恢复或用于回滚。

Vercel将对所有Pro团队按每GB每月0.10美元收取部署与函数存储费用，具体计费时间以邮件通知为准。为控制成本，部署保留期改为30天，超过30天的部署将于10月23日起删除，用户可在此之前选择退出。保留期已为30天或更短的不受影响。用户可通过部署保留策略管理各类部署的保留时长，并在用量页面查看存储情况。

三星Galaxy S26 Ultra在亚马逊降价至949.99美元（原价1399.99美元）。最大亮点是可调节隐私显示屏，能遮挡屏幕内容防止旁人窥视，且不影响正常显示。该机配备6.9英寸AMOLED屏、S Pen手写笔，升级相机硬件，新增双长焦镜头和2亿像素主摄，低光拍摄表现显著提升。机身比S25 Ultra更轻薄舒适。

新款Kindle被曝屏幕漏光，Reddit用户反映暗色模式下屏幕边缘出现阴影甚至可见LED灯条，塑料和金属机型均受影响。Good e-Reader称亚马逊已确认制造问题可能导致该批次缺陷，但亚马逊拒绝向The Verge正式置评。

freeCodeCamp 发布新课程，讲解如何用 n8n 和 AI 构建生产级自动化工作流，涵盖核心架构与自托管部署、REST API 与数据处理、AI 智能工作流、自主 AI 代理与长期记忆、多代理系统，以及事件驱动架构、Slack 人工审批、错误重试和实时监控等生产运维内容。

微软在Windows活动中宣布将Windows转型为“代理式操作系统”，推动AI代理与混合智能，让本地模型替代昂贵的云端模型。为此推出Surface Laptop Ultra，搭载英伟达RTX Spark芯片，可本地运行超1200亿参数模型，起售价2599美元。微软还重新设计Windows搜索界面。但文章认为，这些举措仍处早期，主要面向开发者，普通用户实际收益有限。

Facebook“吹哨人”弗朗西丝·豪根希望新片《社会清算》能激励更多吹哨人。她回顾五年前公开内部文件，指出公众记忆已偏移，其中仅约10%涉及儿童。她认为AI监管讨论比当年社交媒体起步更快，并以平和心态面对Meta。

泄露信息显示，LG为Apple Home打造的智能家居配件或支持NFC“靠近控制”：将iPhone靠近设备，控制提示会出现在灵动岛，基于Matter协议，但属Apple Home专属功能。此前还曝光“免通电轻触配对”。苹果将于10月13日举办“Welcome home”活动，或发布带屏智能家居中枢、新款HomePod mini和Apple TV。

数学家Hales撰文讨论Lean形式化数学的可靠性。2026年AI自动形式化取得突破，Fermat大定理等被快速形式化，但同年夏季发现多个Lean内核可靠性漏洞，可证明假命题。应对方案包括多内核交叉验证、形式化验证内核（如Con-Leche）及加强类型论元理论研究。作者警告AI时代不可盲信系统，需人类审计。