E-Ink 新闻日报

OpenAI 宣布通过学术社区合作在数学、计算机科学和物理领域实现了三项新发现。相关亮点包括对指数时间假设的反驳，表明 AI 辅助研究开始能在理论领域产出可信的、可发表的成果。

OpenAI发表预印本论文，声称证明了指数时间假设（ETH）不成立。这一计算复杂性理论的基本猜想若被证实推翻，将对NP难题算法和复杂理论产生重大冲击。该论文在Hacker News引发热烈讨论，获224分及96条评论。

Anthropic已向美国SEC提交S-1上市注册声明，这是该公司迈向首次公开募股的重要一步。该文件揭示了公司的财务状况、商业模式以及在人工智能行业的竞争地位。

Apple自2026年10月19日起自动封锁eMudhra 12个被篡改的TLS证书，这些证书私钥已泄露。Apple设备上的Safari、Mail等应用已自动阻止，但curl和git等命令行工具可能仍需手动更新证书配置。

自六月以来，公路盗贼通过欺骗GPS定位和入侵货运代理账户，窃取了超过1亿美元的数据中心设备。该骗局包括发布虚假货单、向运输公司植入恶意软件、伪造跟踪坐标以逃避监控，最终将服务器、光纤电缆和挖矿设备等高价值货物转移转卖。

美国环保署(EPA)正在悄悄从官网和网络档案中删除文件与页面，引发对环境保护法规透明度、Camp Lejeune水污染记录和特朗普政府清洁能源政策的担忧。这些删除行动似乎由EPA官员李·泽尔丁协调，可能消除公众对环保数据和政策历史的关键访问。

微软发布了Type Server Protocol（TSP）规范，这是一种标准化协议，使语言服务器能够将类型检查工作卸载到专用的后台进程中。该协议实现了解析器与类型分析的分离，可让编辑器在重型类型分析运行时保持响应，并有望成为不同语言服务器实现间的互操作标准。

OpenAI发布了GPT-6.1 Terra模型，这是其GPT系列的最新迭代版本，开发者文档现已上线。该公告在HackerNews上引发热烈讨论，获得487分和309条评论，显示出开发者社区的浓厚兴趣。

太阳能发电量已超过核能，成为能源转型的重要里程碑。BBC Future文章探讨了成本快速下降和部署加速如何推动太阳能在十年内超越核能。

本文介绍了Ubicloud团队识别并修复vLLM中工具调用准确性的方法，通过改进解析和验证流程的边界情况，提升了LLM工具调用的可靠性。

文章介绍了针对编译时常量的带符号64位向下取整除法的优化算法，该算法向-∞舍入而非标准截断除法。作者提出了一种新方法，在ARM上基准测试快10-20%，在x86上对大多数除数快5-10%，填补了主流编译器支持和Hacker's Delight先前作品的空白。

Stalwart v1.0 是首个稳定版开源邮件与协作服务器，使用 Rust 编写，支持 JMAP、IMAP、POP3、SMTP、CalDAV、CardDAV 和 WebDAV。开发团队通过性能分析优化了数月，涉及近 200 次提交和 1300 多个文件。该版本还固定了数据库架构，确保升级过程无需复杂的迁移操作。

C++26首次未能通过DIS（国际草案标准）投票，这是C++标准制定历史上的首个案例。争议主要集中在合同纠纷特性，以及反射、std::execution和库强化等提案上。目前尚不清楚重新审议需要多长时间。

专注无人驾驶挖掘机的初创公司Bedrock Robotics完成了6亿美元的新一轮融资，估值达41亿美元。该公司旨在通过自动化技术缓解熟练重型设备操作员短缺的问题。

微软向约6万名员工提供自愿买断方案，覆盖美国、加拿大、印度和英国的多个团队，包括Xbox、Windows、Copilot和财务等部门。此举是微软为应对AI时代而进行的成本削减与 workforce 重组计划的一部分。

Anthropic正式提交了IPO申请，披露了快速增长的收入、持续增加的亏损、主要企业的采用情况，以及旨在保护创始人控制权与AI安全使命的不寻常治理结构。

特斯拉与共享租车平台Turo合作推广FSD辅助驾驶软件，Turo将在平台上标注搭载FSD的特斯拉车型，并为车主提供免费一个月FSD试用。目前特斯拉全球已有约170万付费用户，北美市场第三季度购车客户中超75%订阅了FSD，环比增长约20%。

微软正向全球约6万名员工提供自愿买断方案，约占其全球员工总数的四分之一，这也是该公司2026年的第二次自愿裁员行动。该计划面向美国、印度、加拿大和英国的70级及以下员工，旨在人工智能基础设施和数据中心大规模投资的背景下控制成本。

早期iPhone Duo设备在数小时或数天内出现OLED屏幕故障，屏幕中点下方出现亮线。缺陷在使用极少折叠次数后即出现，更换屏幕成本约为设备售价2000美元的一半。

马斯克指责乌克兰违反星链商业服务条款，将其用于致命无人机袭击，但乌克兰官员否认该指控，称现有速度限制已防止此类使用。这一争议凸显了星链及其军用变体

苹果发布iOS 27.2，为iPhone Duo折叠屏手机添加了Apple Pencil支持和新的Edge Light面部照明功能。该更新进一步优化了双屏控制体验，Netflix和Outlook等主流应用也在持续扩展对Duo的适配。

苹果承认部分 iPhone Duo 设备存在内屏折叠显示问题，屏幕会出现从中心向右侧延伸的亮线。受影响用户可联系 AppleCare 进行更换。苹果同时表示早期用户对 iPhone Duo 的反响非常积极。

Hob 是一款免费开源的桌面应用，将类 Claude/ChatGPT 的文件交互能力带到本地运行 AI，使用 Gemma 4 和 gpt-oss 等开放权重模型。它支持沙箱代码执行、图像识别、网页搜索和 MCP，可完全离线运行，填补了现有本地 AI 工具在处理大文件和高级交互方面的空白。

苹果宣布对iPad mini进行有史以来最大规模的更新，这是对这款小尺寸平板多年小幅迭代后的重大 overhaul。新版设备带来了显著的设计与硬件变革。

Sebastian Raschka发布了一门从零开始构建推理模型的视频课程，教授在不依赖现有框架的情况下如何构建推理模型。该课程在Hacker News上发布后迅速获得538分和80条评论，引起了广泛关注。

Gram 3.4.0 因 eMudhra CA 事件及 rustls-webpki/webpki-roots 包存在安全漏洞而发布，建议用户尽快升级。新版本新增侧边栏 Git 差异对比、可换行标签栏以及 Helix 编辑器 Amp Jump 功能。同时作者加强了限制后台静默下载的措施，但相关 UI 体验仍有待改进。

作者重新审视 ECL 的泛型函数分派优化工作，进而实现了新的哈希表和哈希函数。主要成就是在 #'EQUALP 谓词下修复了数字的一致性哈希，基准测试显示哈希表操作性能显著提升。

M-Vave FM-1是一款售价仅60美元的便携式FM合成器，最初被定位为Yamaha DX7的口袋版。由于社区黑客在7月开始逆向工程其固件，极大扩展了设备功能，M-Vave在10月顺势推出FM1 Open开放平台，发布SDK和基于浏览器的开发环境，并将源码以GPLv3许可证开源。

Instagram正将视频时长上限提升至90分钟，标志着其战略从短内容向长视频的显著转变。此举表明Meta有意在长视频领域与YouTube展开更直接竞争。

核聚变初创企业正面临一项新挑战：以政府股权换取资金支持奖励，还是独自前行。这一趋势在已饱受等离子体物理难题和漫长研发周期困扰的行业中引发了新的争议。

Anthropic的S-1文件显示，超过一半的10万美元以上客户同时使用Claude平台和官方应用，展现出类似亚马逊的交叉销售策略。此举旨在提高企业客户的留存率和粘性，为IPO做准备。

SpaceX与阿波罗全球管理达成400亿美元GPU融资协议，为扩张中的AI雄心提供了除传统债务市场之外的替代融资渠道。该交易凸显了私募信贷和特殊融资方在支持AI基础设施建设中日益增长的作用。

印度游戏公司Matiks获得General Catalyst领投的1000万美元Pre-Series A融资，用于扩展其数学与逻辑益智游戏平台。该应用增长迅速，日活用户从年初的2.2万跃升至9月的超30万，月活达220万，累计融资已超1350万美元。

苹果发布新款 iPad mini，配备 8.5 英寸 OLED 显示屏和 A20 Pro 芯片，相较前代有重大升级。该设备更薄更轻，峰值亮度高达 1,200 尼特，提供纳米纹理显示屏选项，并采用集成低音单元的 '声学显示屏' 以增强音频体验。

苹果发布了iOS和macOS 27.2更新，重点强化了Siri AI功能，包括记忆功能、扩展数据源访问及新增五种语言支持。此次更新还引入了新的Apple Music标志、消息上下文建议、照片中的SynthID水印，并隐藏了未来MacBook Pro可能支持触屏的线索。

苹果发布了第八代iPad mini，主要升级包括8.5英寸OLED屏幕（之前为8.3英寸）、A20 Pro芯片以及IP67防水防尘等级。起售价699美元，峰值亮度提升至1,200尼特，机身厚度仅5.4毫米，是该系列史上最大幅度的更新。

数百名波士顿动力员工签署请愿书，反对将改装版Spot机器狗出售给ICE，该交易涉及国土安全部130万美元合同。公司高管坚持该决定，称机器狗仅用于探测任务而非武器化，但员工警告此举可能严重损害公司声誉。

特斯拉正从主导电动汽车市场转向自动驾驶竞争，希望通过软件和服务实现经常性收入。与SpaceX的潜在合并可能加速这一转型，而传统车企正寻求超越卖车的高利润商业模式。中国竞争对手已在电动车领域领先，并大力投资自动驾驶技术。

OpenAI在发布数百篇数学论文不到一个月后，再次宣布在数学、计算机科学和物理领域取得三项重大发现。此次的不同之处在于，外部专家担任“指导者”角色，帮助引导AI在计算机科学和物理方面的研究成果，而数学成果则发布供研究人员自行探索。

Anthropic在准备上市提交的S-1文件中揭示，其AI数据中心对天然气的依赖日益加深。公司承认电力供应竞争异常激烈，并指出燃料成本上涨和供应链紧张带来的脆弱性。

The RealReal正在升级其机器人防御系统，以防止AI代理利用购物车锁定机制抢占商品。此前《华尔街日报》调查发现，Meta的Muse AI能够通过循环将商品加入购物车来垄断设计师服装，该漏洞已被修补。

Anthropic已向SEC提交S-1招股说明书，300余页的文件披露了高管薪酬、IPO资金用途及业务风险等细节。联合创始人Dario和Daniela Amodei被披露为公司薪酬最高的两位高管。

Jason Koebler指出，ChatGPT越来越多地将遇到常规技术支持问题的用户引导至404 Media，把普通技术问题当作具有新闻价值的报道。这揭示了AI作为非正式支持渠道与其倾向于将简单查询升级为媒体内容之间的张力。

Onyx在亚马逊官方店铺上线了全新的Boox Picco迷你电子书阅读器，报道称设备已开始发货。目前页面已售罄，预计很快会有补货。

亚马逊在其Kindle Android应用中新增了对电子书手写笔记的原生支持，功能与Kindle Scribe的旗舰级笔记体验一致。

BOOX 发布了 Palma 3，这是一款 6.13 英寸手机尺寸的电子纸设备，秉承「安静科技」理念，旨在减少数字过度刺激。它采用最新一代 300 PPI 单色显示屏、金属中框、Android 16 系统及 4nm 八核处理器，并搭载 BOOX Super Refresh 技术实现更流畅的翻页体验。

一篇博客文章探讨了最古老的仍能在 Windows 11 上原生运行的 GUI 应用程序，突显了微软在几十年 Windows 版本中保持的卓越向后兼容性。

一篇技术随笔，探讨软件工程师（尤其是新手）过度抽象代码的倾向，借用时间旅行小说作为类比。作者指出，缺乏实际需求的抽象只会带来不必要的复杂性，主张采用更简单直接的解决方案。

Pharo 14，Pharo Smalltalk编程环境的主要版本已发布。该版本为长期运行的Smalltalk生态系统带来了更新和改进。

Evan Czaplicki探讨了为什么发一封邮件如此昂贵，他发现SMTP传输本身非常简单，真正的成本在于确保邮件进入收件箱而非垃圾邮件文件夹。尽管他有能力自己发送邮件，但送达率和声誉管理需要只有专业邮件服务商才能提供的大规模基础设施。

Kevin Coleman 描述了一次精心设计的钓鱼攻击：假冒的 YouTube 支持页面试图窃取他的 Google 凭证，在两次验证码失败后，攻击者又切换到伪造的 Apple Passkey 提示和类似 Bitwarden 的登录弹窗。文章指出，尽管 Passkey 被宣传为比传统密码更安全，但基于 Passkey 的钓鱼攻击仍然是重大安全隐患。

作者撰写了一篇关于Pratt解析的个人教育文章，分享了从调度场算法转向Pratt解析构建C表达式解析器的经验。文章比较了两种算法，并参考了《Crafting Interpreters》和Pratt原始论文来解释算符优先级的递归原理。

在VCF Midwest 2026大会上的一项演讲，介绍为复古电脑打造90年代互联网体验的尝试。演讲可能探讨了在老式硬件上维持复古网络访问的技术方法和社区项目。

该演讲探讨了小型网络运动，主张以独立的个人网站替代平台主导的社交媒体。介绍了赋能个人创建和维护真实在线空间的工具、理念与案例，强调所有权、社区和去中心化。

Databricks联合创始人分享了赢得大型企业客户的策略，强调成功不在于技术最先进，而在于借助大型厂商的销售渠道。这一观点突出了在企业销售中生态合作的重要性，而非单纯依靠技术优势。

一篇技术调查文章，追踪来自德国主机商 Contabo GmbH 基础设施的一系列网页爬虫，作者记录了请求分析方法并承认分类困难。

苹果备受瞩目的折叠屏手机iPhone Duo的早期用户开始反馈屏幕开裂问题，引发了对该设备耐用性的担忧。

作者用 AArch64 汇编为 macOS 写了一个约 200 行的数独求解器，完成了探索不同范式下的求解器系列——从 Agda 的正确性证明到原始汇编毫无安全网。代码直接利用 CPU 指令进行位运算操作（如 popcount 和候选掩码搜索），展示了在没有任何检查的情况下，汇编也能通过直接使用机器栈获得一些抽象。

一名71岁韩国农民因眼部不适两个月，医生从其眼中取出11条活体圆虫（Thelazia callipaeda）。取出时许多雌性 Worms 怀孕，差点将幼虫释放到患者眼中。这种寄生虫常见于猫狗，通过吸食眼部分泌物的苍蝇传播。

NBA宣布与Kalshi和Polymarket达成新的预测市场合作，并扩展DraftKings协议，同时与美国CFTC达成谅解备忘录。此举正值联盟面临Jontay Porter等赌球丑闻之际。

The Verge评测Fitbit Edge，售价179.99美元，是一款复古设计的健身追踪器，重现了Fitbit在2014-2020年期间的Charge、Ionic和Inspire等产品的设计语言。文章将这款设备的怀旧风格与科技趋势的循环性进行了类比。

Simon Willison评测了webframe，这是Jeff Lindsay开发的一个轻量级Go工具，可无头执行网页并将JS结果输出到标准流。测试显示其速度与shot-scraper相当，但存在CSP失败、0x0视口、挂起加载、缺少HTTP元数据等问题。