E-Ink 新闻日报

菲尔兹奖得主陶哲轩在2026年加州理工学院发表题为“Math 2.0”的演讲，探讨AI如何重塑数学研究、证明验证与协作方式。内容可能涉及形式化方法、自动定理证明以及AI增强时代人类数学家的未来角色。

Paramount计划以1110亿美元收购Warner Bros. Discovery，这是好莱坞历史上规模最大的并购交易之一。这项正在推进的交易将彻底改变媒体和娱乐行业的格局。

一名远程员工因拒绝每天拍摄160张 webcam 照片供雇主监控而被解雇。此案凸显了远程工作环境中数字监控与员工隐私日益紧张的矛盾。

一篇批判性文章，认为Passkeys虽然被推广为安全的认证标准，但存在基本的设计缺陷，对用户有风险。该文章在Hacker News上引发了大量讨论，获得195点和98条评论，显示出社区对这一安全辩论的高度关注。

经过5000亿token训练的AI系统成功反编译了一款第一人称射击游戏的代码，展示了使用自主智能体进行高级逆向工程的能力。该项目凸显了现代AI如何完成需要深厚人类专业知识的复杂软件分析任务。

Logfire通过动态扁平化（dynamic shredding）技术对半结构化OpenTelemetry数据进行优化，查询速度提升超过1000倍，原本30秒超时的查询现在可在1秒内完成。该功能将于2026年2月开始向所有用户推送。

Adepts of 0xCC的研究团队发布了一份关于Eufy门铃及其基站的安全分析报告，展示了可远程干扰门铃与管理网络连接的投毒攻击，阻止视频/音频传输。研究团队还逆向工程了声波配对协议，并从内存转储中提取了加密凭证，揭示了设备在网络认证和数据保护方面的漏洞。

Andrej Karpathy 指出，AI 研究界与公众对 LLM 能力理解之间的差距正在扩大。随着模型越来越强大，公众认知越来越落后于实际技术进步，导致预期错位。

纽约市正式实施「点击取消」规定，要求企业在网上取消订阅或服务的流程必须与注册同样便捷。该法规旨在打击暗黑模式，保护消费者免受刻意设置的取消障碍。

文章警告不要在PATH环境变量中直接使用波浪号(~)，因为在某些环境下它可能无法正确展开为$HOME，导致意外行为。文章解释了shell中tilde扩展的差异，并建议使用$HOME显式替代。

开发者在电脑上重新制作了经典的1997年即时战略游戏《绝对毁灭》（Total Annihilation），可能涉及兼容性修复、图形更新和现代多人游戏基础设施。

Valen 引入了一种新颖的借用检查器，旨在将 Rust 级别的内存安全与引用计数或垃圾回收的简洁性相结合。该系统使用"分组借用"机制，使引用能记住其指向位置，解决了更宽松的借用、处理复杂数据以及两者协同工作三大核心挑战。

LineageOS 24.0 已发布，基于 Android 17，安全补丁涵盖 2025 年 8 月至 2026 年 10 月。此次发布同时也是该项目 10 周年（2026 年 12 月 24 日）的前奏，庆祝社区驱动开发十年来持续让设备焕发新生。

Futhark语言团队解决了类型检查器中复杂的别名传播设计问题，这对于确保安全的原地数组更新至关重要。该方案通过类型级标注（*t表示新鲜结果，t表示可能别名）在函数边界间跟踪别名关系，兼顾理论严谨性与实用价值。

文章探讨了React Context选择器这一长期需求，该功能允许组件仅订阅上下文的特定部分。回顾了calculateChangedBits等历史方案和变通方法，并研究了即将推出的React编译器如何自动优化上下文消费者，从而可能无需手动选择器。

行业高管认为语音AI尚未达到ChatGPT级别的突破时刻，指出其在上下文理解方面仍存在缺陷。这些上下文层的短板持续导致整个系统崩溃，限制了实际应用可靠性。

Efferon是一家入选TechCrunch Disrupt 2026的生物技术初创公司，开发了名为Efferon NEO的医疗设备，通过过滤儿童血液中的致命细胞因子和毒素来治疗儿童脓毒症。与现有仅针对单一毒素的设备不同，Efferon的吸收器可同时清除内毒素和细胞因子，填补了儿童脓毒症治疗的关键空白。

伊利诺伊州埃尔金社区学院试图取消 Flock 车牌识别摄像头的合同，但因担心数据与边境巡逻局共享、摄像头数据安全防护不足以及执法部门和公司员工滥用访问权限而拒绝。Flock 援引合同条款拒绝拆除请求，凸显教育机构与私人监控供应商之间在隐私和数据治理问题上的紧张关系。

NASA发布了阿尔忒弥斯二号的超过800GB科学数据、图像和视频，包括11000多张照片/视频、8.5小时音频以及船员标注的月球暗面撞击闪光观测记录。该档案为这一历史性任务提供了前所未有的科学发现视角。

一个数据可视化和地图项目，通过整合卫星图像和地理空间数据，探索和展示朝鲜的地理、基础设施和城市发展。该项目利用开源数据为这个封闭国家绘制详细地图。

IRCv3是一项旨在通过一系列扩展现代化互联网中继聊天协议的工程，新增消息标签、能力协商和UTF-8支持等功能，同时保持与旧版IRC的向后兼容。

BetterWispr 是一款面向 macOS 的免费开源语音输入工具，旨在改进苹果内置的语音识别功能。该 Show HN 帖子在 Hacker News 上获得了 146 个积分和 92 条评论的中度社区关注。

DHH使用AI代理将CampfireOnce应用重写为Rust、Elixir和Go，但自己并不阅读生成的代码，揭示了AI生成代码的诸多问题。文章指出模糊的提示词会导致不一致的架构决策，不同语言版本在向后兼容性和设计约束上做出了不同的权衡。

本文介绍了C语言中的Arena分配器，作为一种简化内存管理、提升性能并降低内存泄漏风险的内存管理方案。文章解释了传统malloc/free方式的问题，包括手动管理负担、大量小块分配效率低以及追踪单个分配的困难。

本文探讨了为支持多编程语言的项目构建统一文档网站所面临的挑战，作者将其称为"多语言文档站"。文章讨论了两种主要策略：将各API参考生成器的输出转换为通用标记格式，以及其它结构化方案，并指出各自存在明显缺陷，例如可能丢失Doxygen、rustdoc或javadoc等专业工具中的领域知识。

本文通过实际实验探索了Git提交的磁盘占用，发现即使是微小的提交也会带来显著开销（空仓库约64KB）。文章指出Git的zlib压缩和packfile优化对大文件存储极其高效，通常仅需原始未压缩大小的10%-50%。

一位开发者开发了软件桥接工具，使游戏Sir T1d蓝牙手柄（最初随Ryze/DJI Tello无人机捆绑销售）能在Linux上作为标准Xbox 360手柄使用。该MIT许可证工具通过BlueZ和uinput将手柄的专有GATT协议转换为Steam、SDL和大多数Linux游戏原生识别的HID输入。

作者提出了一种下一代借用检查器的提案，作为Rust当前系统的直接替代品，旨在解决开发者在使用借用检查时遇到的复杂错误困扰。该文章介绍了一种新的方法来减轻Rust所有权和借用机制带来的痛苦。

游戏开发者Mason Remaley分享了在r/rust_gamedev上发布的AMA精华内容，他花了六年时间用Rust开发了一款名为《Way of Rhea》的益智游戏，并于2024年正式发布。文章涵盖了他选择Rust的原因、自建引擎的经历、开发中的挑战以及学到的经验教训。

苹果即将推出的HomeView智能家庭设备据报已正式命名并公布发布日期，结束了外界对其长期传闻的智能家庭产品计划的猜测。

自动驾驶卡车似乎消除了一个新的监管或运营障碍，标志着自主货运的进展。本文是TechCrunch Mobility持续报道AI在交通领域角色的专栏之一。

Dawn Myers正在开发专为卷发和纹理发设计的护肤硬件，填补了市场长期忽视的空白——大多数工具都是用来拉直而非护理天然卷发。她大约八年前受《鲨鱼坦克》节目的启发，意识到尽管越来越多人开始接受自然发型，但卷发洗护依然繁琐耗时。

Equity播客节目讨论了AI行业与数据中心的保密协议是否损害了公众信任并加剧了反对声音。该辩论探讨了放弃保密协议是否能改善AI企业与当地社区之间的沟通。

据传即将推出的苹果电视升级款将内置麦克风，支持免提Siri控制，并配备带集成扬声器的新遥控器以便找回丢失设备。这些改动还可能让Apple TV充当智能家居中枢。

Vurt是一家专注于为电视大屏打造竖屏微短剧的初创公司，与手机端的竖屏平台形成差异。Disney+、HBO Max等主流流媒体也在尝试竖屏内容以应对TikTok和Instagram的威胁，但Vurt的目标是将这种格式带入客厅观影体验。

LeapPad曾是美国最畅销的儿童玩具——一本能播放声音、对触摸做出反应的'智能书'，帮助儿童学习阅读。几十年后，The Verge回顾它为何能吸引孩子和家长，尽管价格高昂，以及LeapFrog为何无法延续其成功。

Xteink X4 Pro是该公司首款同时配备前光灯和触控屏的电子阅读器，取消了前代的物理按键。它保留了原X4的4.3英寸E Ink屏幕，并支持XT Licorice阅读软件。