E-Ink 新闻日报

该报告由安全与政策中心（CASP）发布，详细分析了恐怖组织博科圣地如何利用前沿人工智能技术进行招募、宣传传播及行动策划。文章强调了针对非国家行为体滥用人工智能的紧迫反制措施需求。这为新兴技术与全球安全威胁的交汇点敲响了警钟。

苹果公司起诉OpenAI，指控其高层领导（包括一名前员工）主导窃取商业机密。这一诉讼凸显了人工智能领域两大巨头在知识产权和竞争行为方面的紧张关系升级。

SK海力士通过美国历史上规模最大的外国IPO筹集了265亿美元，抓住了AI芯片需求激增的机遇。在此财务里程碑之后，投资者和行业领袖正敦促这家韩国半导体巨头扩大在美国的制造版图，建立新的晶圆厂。

Oratomic获得3亿美元A轮融资，旨在利用激光捕获原子技术开发实用级量子计算机，并计划于本十年末实现商业化。该公司的核心突破在于一种新型纠错方法，可大幅降低所需量子比特数量，从而有望跳过当前的噪声中等规模量子（NISQ）阶段。

一项独立研究证实，由卫生部长小罗伯特·肯尼迪（RFK Jr.）的顾问委员会推动的联合麻疹-腮腺炎-风疹-水痘疫苗（MMRV）联邦推荐取消措施，对美国弱势幼儿构成了重大风险。分析显示，金县约15%的幼儿此前依赖这种单针疫苗，将其从联邦覆盖项目中移除将威胁低收入家庭的免疫率。这一决定缺乏严谨的科学评估，破坏了既定的公共卫生框架。

欧盟委员会初步裁定，Meta使用的自动播放、无限滚动和高度个性化推荐属于具有成瘾性的设计，对未成年人等用户的身心健康构成危害。Meta对此表示异议并强调其已推出青少年保护工具，但欧委会认为这些措施不足以应对平台架构带来的固有风险。此举标志着监管机构将对社交媒体互动机制进行重大打击，若Meta不合规可能面临巨额罚款。

文章详细介绍了QuadRF系统的能力，该系统能够检测无人机并穿透墙壁可视化WiFi信号。这项技术展示了超越标准无线通信分析的先进射频传感和成像技术。演示突出了其在安全、监控和室内定位系统中的潜在应用。

欧盟委员会指控Meta在Facebook和Instagram上使用无限滚动、自动播放、推送通知及高度个性化的推荐算法等“成瘾性”功能，违反了《数字服务法案》。监管机构已威胁对Meta处以罚款。此举标志着欧盟在规范大型科技平台用户福祉和算法透明度方面采取了强有力的执法行动。

一名来自佛罗里达州的勒索软件谈判者因协助臭名昭著的网络犯罪集团向美国公司敲诈勒索而被定罪并入狱。这是第三次有此类角色受到起诉，凸显了执法部门对勒索软件团伙金融中介的打击力度加大。

中国成功利用海上网捕技术回收了首枚可重复使用轨道级火箭（长征十号B），这是其可重复使用运载火箭发展的重要里程碑。此举使中国成为继SpaceX和蓝色起源之后，全球第三个实现受控火箭回收的国家。

研究人员利用LARES-2卫星，以前所未有的精度验证了爱因斯坦广义相对论中的参考系拖曳效应，将不确定性降至仅0.2%。该实验通过一个高密度、无动力的球体卫星，最大限度地减少了非引力干扰，从而实现了这一重大突破。

瓦利·方克（Wally Funk）是“水星13人”计划的最后一位在世成员，也是历史上最年长的女性太空旅行者，她于87岁高龄去世。她在2021年乘坐蓝色起源飞船进入太空，这一壮举发生在她因性别歧视被拒之NASA门外整整六十年之后。方克被铭记为一位打破航空与太空探索界限的先锋人物。

美国联邦通信委员会（FCC）对八家涉嫌作为大疆（DJI）幌子的公司处以2.5万美元罚款，旨在打击其规避美国外国无人机禁令的行为。这些企业被要求在十天内回应监管机构的质询，否则将面临更严厉的执法行动。此举标志着美国在限制大疆通过间接渠道进入市场方面迈出了重要一步。

苹果起诉OpenAI及乔尼·艾夫旗下的硬件初创公司IO Products，指控前苹果工程师窃取商业机密以加速OpenAI的硬件研发计划。诉讼特别点名了OpenAI首席硬件官Tang Tan和前苹果工程师Chang Liu，指控他们参与了相关窃密行为。

受益于人工智能热潮带来的内存芯片需求激增，全球主要存储芯片供应商SK海力士在华尔街上市，融资265亿美元，打破了阿里巴巴保持的外资公司IPO纪录。该股开盘价为每股170美元，凸显了其在提供DRAM和高带宽内存（HBM）等AI关键组件方面的核心地位。

Cpp2Rust 是一个开源工具，利用 Clang 的抽象语法树（AST）和自定义运行时库，自动将 C++ 代码转换为完全安全的 Rust 代码。该项目的底层算法已发表于 PLDI 2026，体现了其学术严谨性及其在现代化遗留 C++ 代码库方面的潜力。

作者解释了Preact如何通过减少现代测试运行器中常见的不必要测试隔离开销，实现1000多个测试在1秒内完成。通过在不需要的地方取消严格隔离并利用浏览器的原生性能，他们证明了在不牺牲正确性的情况下可以实现显著的速度提升。

OpenAI宣布将最新的GPT 5.6模型作为Microsoft Copilot 365的首选引擎，尽管外界有关于双方合作可能破裂的传闻。此举巩固了先进AI能力在微软核心生产力套件中的集成地位。

印度批准了中国智能手机制造商维沃（Vivo）与本土企业迪信通（Dixon Technologies）的制造合资企业，标志着该国电子制造业在苹果之外的重要扩展。由于涉及跨境投资审查规则，该51/49股权结构的合资项目允许维沃在本地生产设备并可能为其他品牌代工。分析师认为这种模式可能成为未来中国手机品牌在印度投资的模板。

前勒索软件谈判专家安杰洛·马蒂诺因与BlackCat黑客勾结，向攻击者泄露其客户机密信息以抬高赎金要求，被判处70个月监禁。他的行为导致五名受害者被勒索超过7500万美元，他本人从中获利数百万加密货币。马蒂诺认罪并协助起诉两名同伙，同时面临资产没收及未来收入的罚金处罚。

OpenAI二号人物Fidji Simo因医疗假期延长而辞去全职职务。此次领导层变动正值公司筹备IPO及在企业市场与Anthropic激烈竞争的关键时期，可能带来一定的管理真空。

大众集团为应对利润下滑和市场份额流失提出的重组计划遭到监事会反对，工会任命的成员否决了包括关闭工厂在内的关键措施。由于关税高昂及在中国和北美市场的激烈竞争，大众面临严峻挑战，裁员目标已从3.5万人激增至2030年前的10万人。这一冲突凸显了德国大众管理层与其拥有强大影响力的工会之间复杂的权力博弈。

随着欧洲遭遇创纪录的热浪，空调需求激增，引发了激烈的政治辩论：右翼政党承诺普及空调，而左翼则担忧能源不平等和碳排放问题。尽管欧洲目前的空调普及率远低于美国，但文章强调了在防止热射病等即时健康效益与长期可持续发展目标之间的紧张关系。

NASA发布了商业空间站招标草案，明确了替代国际空间站的私营公司需满足的要求。此举旨在解决因国会资金问题和政策变动导致的多年延误，确保在2030年前维持美国在近地轨道的人类存在。

Nilay Patel指出，当前的硬件限制使得增强现实眼镜必须依赖云端实时处理，这不可避免地涉及大规模隐私侵犯。他认为这种产品带来的社会代价过高，甚至主张应停止此类设备的开发。

纽约市将成为美国首个禁止欺骗性订阅行为的司法管辖区，旨在打击使取消订阅变得困难的黑暗模式。这一监管举措旨在保护消费者免受数字服务中常见的不公平计费策略和隐藏费用的侵害。

一项2015年的研究揭示，石鳖的齿舌（radula）比蜘蛛丝更强，成为自然界已知最强的材料。这一发现突出了石鳖牙齿独特的矿物成分，其中含有磁铁矿，赋予了其卓越的硬度和耐久性。该研究成果为仿生材料科学和工程应用提供了新的见解。

Scarf公司在使用Haskell七年后退出了该语言，主要原因是编译时间长和生态系统摩擦带来的高昂运营成本。尽管承认Haskell在可靠性、类型安全和性能方面的优势，但团队认为其开发体验和基础设施开销已无法支撑公司的持续增长。

本文解释了CPython应用程序二进制接口（ABI）的重要性，特别是允许C扩展在不同Python小版本间保持兼容的稳定ABI（abi3）。它为Python开发者提供了如何利用abi3简化分发并降低原生代码包维护开销的指导。

本文详细介绍了在Guix包管理器生态系统中，针对Slingshot互连的Open MPI堆栈性能回归问题的识别与调试过程。文章强调了在缺乏自动化测试基础设施的情况下维护高性能计算软件所面临的挑战，并展示了Guix的透明度如何辅助诊断此类问题。

文章以幽默的笔触将各种软件依赖管理策略映射到组织结构和企业动态上，展示了技术选择如何反映团队沟通模式。它对比了单体仓库、Bazel和Nix等方法与特定职场文化的关系，突出了自动化、严格性与人工协调之间的权衡。

本文探讨了超优化（superoptimization）这一高级编译器技术，该技术通过搜索给定任务的最优机器码序列，通常能生成比标准编译器更小、更快的程序。文章强调了在巨大的指令空间中寻找最小代码表示所面临的理论与实践挑战。

前Automattic首席执行官、Bluesky临时CEO托尼·施耐德（Toni Schneider）正式去掉了“临时”头衔，表明他将全力投入这家去中心化社交媒体平台的发展。这一举动凸显了他对Bluesky未来增长与稳定性的坚定承诺。

据报道，迪士尼+正在考虑推出免费的广告支持流媒体层级，以与YouTube和Tubi等平台竞争。这一战略举措旨在在竞争日益激烈的市场中吸引更多观众观看时间。

据报道，为应对用户参与度放缓的问题，Netflix正在考虑推出“全天候”直播电视频道，以提供24/7的流媒体选择。这一战略举措旨在通过持续的线性内容让用户保持对平台的持续连接。

Ars Technica指出，Valve的新Steam Machine验证系统对于在性能更强的桌面硬件上运行良好、但在较弱的Steam Deck上无法运行的游戏缺乏明确说明。虽然Deck已验证的游戏自动兼容，但许多PC端“不支持”的游戏仍未获得Steam Machine的验证，导致消费者对其性能感到困惑。这一差距凸显了Valve在新客厅设备兼容性标签上的模糊性。

飞利浦Signify确认，固件版本2071353020导致少量Hue Bridge Pro设备变砖并显示红灯。该问题仅影响在禁用自动更新后手动安装过期更新包的用户，受影响设备不足100台。飞利浦将为受影响的设备提供免费更换服务。

本期《火箭报告》聚焦亚洲即将进行的火箭首飞，包括中国可重复使用的长征十号B型以及印度Skyroot公司的维克拉姆-1号。此外，德国Rocket Factory Augsburg确认了其RFA One火箭将于8月发射，文章还提及了Pegasus XL火箭的最后一次成功任务及SpaceX Transporter拼车服务的市场情况。

本文探讨了ECU调校技术的演变，强调了从简单的硬件修改到因现代车辆安全性提升而带来的复杂软件挑战的转变。文章通过APR工程师的见解，展示了调校人员如何在严格的原厂可靠性参数下实现性能提升。同时，文章回顾了发动机改装的历史背景，对比了早期的“热棒”时代与当今的软件定义汽车环境。

倡导者要求公布休斯顿一名墨西哥移民被ICE执法人员枪杀事件的执法记录仪视频，但国土安全部以长达76天的政府停摆导致设备资金短缺为由拒绝。该事件反映了移民执法与公民权利之间的紧张关系，并因国会关于DHS改革和资金的僵局而进一步加剧。

Spotify 正在为其热门周报歌单“Release Radar”引入新的控制选项，允许用户按流派筛选、优先推荐新艺术家以及选择编辑精选。这些功能正逐步在移动端和桌面端上线，并伴随算法优化以提升个性化体验。

作者详细描述了将Go集成到基于浏览器的代码平台隔离V8环境中的技术挑战，特别是Go的异步WASM启动过程与同步执行上下文之间的不兼容性问题。使用标准的GOOS=js方法在isolated-vm中因Promise处理问题而失败，需要超越常规教程的自定义解决方案。

作者回顾了自己学习 Lisp 的经历，指出其非传统的语法和独特的概念框架带来了陡峭的学习曲线。尽管入门困难，文章强调 Lisp 在算法灵活性和能力上提供了其他语言无法比拟的独特优势。

本文介绍了作者使用Python构建简单APL解释器的系列教程的第一部分，灵感来源于Ruslan Spivak关于Pascal解释器的经典教程。文章概述了初始目标，如解析基本数字和向量，并提供了源代码供读者跟随学习。

大学申请初创公司Fizz在与竞争对手Sidechat的诉讼中升级了行动，指控风投公司Maveron在融资会议期间泄露了其机密信息。这一指控为两家公司的持续纠纷增添了商业间谍的色彩。

新应用 HyperTexting 将博客、通讯和播客等开放网络内容整合到一个类似社交媒体的可滚动信息流中。该应用还简化了用户向自己网站发布内容的流程。

该GitHub Gist介绍了一种用于创建仓库本地Markdown文档的方法，旨在帮助人类开发者和AI编码代理更好地理解代码库并做出更安全的更改。文中详细说明了具体目标、仓库结构以及系统文档和流程文档等类型，以优化上下文检索能力。

《The Vergecast》播客分析了Netflix从流媒体向游戏、直播体育和用户生成内容扩张的战略，将其比作“YouTube化”。文章探讨了这种快速多元化是必要的进化还是为了在竞争激烈的市场中争夺用户注意力的无奈之举。