E-Ink 新闻日报

据报道，微软已解雇了 id Software 中整个 idTech 引擎开发团队，这标志着收购后的重大战略调整。此举表明微软可能正转向其他技术或进行内部重组，不再维护传统的 idTech 引擎。

谷歌2025年用电量激增12太瓦时，创历史新高并超过微软等竞争对手。这种指数级增长主要归因于生成式AI基础设施的能源需求，引发了对碳排放增加及依赖化石燃料的严重担忧。

苹果即将发布的iOS版本将在用户同意对话框中明确告知，当AI处理使用Google Cloud基础设施时会发送数据。这一举措标志着其策略的重大转变，此前苹果曾承诺通过“私有云计算”将所有重型AI工作负载保留在其自有数据中心内。此次变化源于新推出的AFM Cloud Pro模型，该模型在由Google托管的Nvidia Blackwell GPU上运行，尽管苹果强调未使用任何Google软件或服务，但...

最新研究表明，由于GPG签名机制中的签名可塑性，GitHub的“已验证”提交并非唯一。攻击者无需私钥即可生成语义相同但哈希值不同的有效签名提交，这种现象被称为“哈希链可塑性”。该发现打破了提交哈希唯一标识签名内容的假设，可能危及依赖哈希进行锁定和事件响应的供应链安全工具，影响ECDSA、RSA和EdDSA等签名方案。

受益于人工智能热潮的内存芯片制造商海力士（SK Hynix）正准备在美国进行数十亿美元的首次公开募股（IPO）。此举将使美国投资者能够直接投资这家推动当前AI硬件基础设施扩张的关键供应商。

本文详细列举了2026年最具破坏性的网络安全事件，包括涉及DOGE的重大数据泄露、针对关键能源和水系统的黑客攻击，以及FBI监控系统的被入侵。这些事件凸显了对政府机构和关键公共服务日益升级的威胁。

Astro 7.0 引入了重要的架构改进和性能提升，标志着静态网站生成器框架的一个重大里程碑。该版本专注于改善开发者体验、优化构建时间以及扩展动态内容渲染能力。

由于欧盟新规要求消费电子产品配备可轻松更换的电池，任天堂将于明年二月在欧洲停止销售初代Switch，并决定不对旧机型进行重新设计。尽管Switch自2021年销量峰值后持续下滑，但其市场韧性较强，不过历史数据显示该硬件生命周期通常在九年后显著衰退，且市场焦点已转向即将推出的Switch 2。

中国AI初创公司DeepSeek正计划进入半导体行业，开发自有推理芯片，以在面临美国出口管制的情况下减少对英伟达和华为的依赖。这一战略举措与OpenAI和Anthropic等全球AI巨头设计定制硅片的趋势相似，旨在获得更大的控制权和效率。

欧盟已实施新规，要求在其境内销售的所有新车必须配备驾驶员监控摄像头。该措施旨在通过确保驾驶员保持对道路的注意力，从而减少因分心驾驶导致的交通事故。

欧洲议会法律事务委员会（LIBE）已批准备受争议的“聊天控制”提案，这是欧盟大规模扫描计划立法进程中的重要一步。此举加剧了关于端到端加密和数字隐私的辩论，并与欧盟其他机构及成员国之间形成了重大对峙局面。

作者指出，“可信发布”是一种基于OIDC联邦的机器对机器认证机制，而非供人类评估信任的概念。虽然PyPI等生态系统采用它来降低长期、过度授权凭证的安全风险，但人类不应基于个人信任感来评判其安全性，而应关注其针对自动化系统的设计。

本文探讨了编程语言设计中默认使用有符号还是无符号整数这一重大选择，引用了Christoffer Lernö在C3语言中的经验以及作者为Odin语言做出的决定。文章指出，虽然无符号类型在理论上看似更适合确保值非负，但由于对算术行为的误解，它们经常导致无限循环和越界错误等实际Bug。作者认为，有符号整数在实际编码中更安全且更具一致性。

作者详细阐述了将Mitchell Wand于1991年提出的偏向记录连接类型推断算法机械化的过程，这是为Nix构建类型检查器的关键挑战之一。通过提供形式化语义和参考Haskell实现，本文填补了理论计算机科学与实际语言工程之间的差距。这项工作使得对具有复杂记录合并操作的语言进行更强大的静态分析成为可能。

本文探讨了Rust中一个常见误区：在高负载下观察到的内存激增常被误认为是内存泄漏，实则可能是默认全局分配器的行为所致。作者通过一个涉及突发工作负载和Tokio任务的案例，解释了分配器为何会保留内存而非立即归还给操作系统。这为开发者区分真正的内存泄漏与分配器内存保留提供了实用指导。

OpenSSH 10.4 引入了更严格的传输协议执行机制，以防止在密钥重新交换期间发生内存耗尽攻击，并将 Linux 上的 seccomp 沙箱失败设为致命错误。该版本还包含针对 SFTP 客户端的路径遍历漏洞修复，并更改了配置转储的输出格式。

GitHub已限制对其Star数据API的访问，仅允许仓库管理员和协作者查看谁点了Star。这一变更导致Star History等第三方服务无法为公共仓库获取数据，从而破坏了其星图生成功能。

本文通过基准测试优化了Go语言中搜索4GB文件的性能，将吞吐量从0.75 GB/s提升至49 GB/s，实现了66倍的速度提升。文章深入分析了Go运行时、内核及内存层级带来的性能瓶颈，并展示了Go 1.26中新引入的simd/archsimd包在纯Go代码中编写AVX-512指令的能力。

Meta正式推出了名为Muse的全新AI图像生成模型，旨在服务于广告、室内装饰及创作者等多种场景。此次发布标志着Meta在生成式AI领域的进一步扩展，覆盖了商业与消费者应用。

Anthropic的编程助手Claude Cowork已扩展至移动端和网页端，实现了跨设备无缝工作流。用户现在可以在桌面端启动任务，通过手机监控进度，并在笔记本电脑关闭时随时获取完成后的输出结果。这一更新标志着AI编程助手正逐步融入更广泛的办公生产力生态系统中。

微软正将其Office 365应用（如Excel和Word）中的AI基础设施从OpenAI和Anthropic等第三方提供商转向其自研的MAI模型，以降低不断上升的成本。这一战略转变反映了更广泛的行业趋势，即亚马逊和Meta等主要科技公司正优先考虑成本效益，而非此前激进的AI支出模式。

尽管AI代理首次在实际勒索软件攻击中执行了技术操作，但人类在受害者选择、基础设施搭建和提供被盗凭证方面仍起着关键作用。这一事件澄清了当前的AI驱动网络犯罪尚未实现完全自主，尽管最近的头条新闻暗示了这一点。

人工智能数据中心的激增电力需求导致美国制造商，尤其是锈带地区的工厂，面临高昂的电费上涨压力，这威胁到特朗普总统“美国制造”制造业复兴计划的实施。钢铁等传统行业因容量费用增加而运营成本大幅上升，在支持科技基础设施与维持传统工业增长之间产生了政策冲突。

爱丁堡大学研究人员发布了一份新病毒目录，根据历史大流行数据识别出对人类最具威胁的RNA病毒。该研究区分了极少在人间传播的人畜共患病毒与具有高流行潜力的病毒，旨在改善未来疫情爆发的早期预警系统。

Meta推出了由超级智能实验室开发的Muse Image模型，该模型现已支持Instagram、WhatsApp及Meta AI应用中的图像生成工具。作为“代理型”AI，它结合Muse Spark大语言模型进行推理和网页搜索，在生成图像前优化提示词处理。

文章探讨了人工智能如何推动通用自主机器人在工作和家庭环境中的应用，使机器人从简单的导航转向执行复杂任务。文中指出，自20世纪中叶以来，尽管早期机器人难以解决基本移动问题，但现代AI的支持使得机器人能够独立完成更多样化的工作，并吸引了大量投资与研究关注。

据报，作为Xbox大规模裁员的一部分，Doom开发商id Software已裁减约50%的员工，涉及超过90人。此次裁员严重影响了质量保证（QA）部门，且消息公布时正值该工作室发布最新Doom游戏的大型扩展内容之际。

Simon Willison 发布了 sqlite-utils 4.0，新增了原生数据库模式迁移、通过 db.atomic() 实现的嵌套事务以及复合外键支持。该版本的迁移功能利用强大的 table.transform() 方法，处理 SQLite 原生 ALTER TABLE 语句无法支持的复杂模式变更。

腾讯发布了Hy3，这是一个拥有2950亿参数的混合专家（MoE）模型，其性能可与旗舰级开源模型相媲美，但活跃参数更少。该模型具备256K上下文窗口，并在经过大量后训练后，在实用性和生产力任务中表现出显著提升。该模型已上线Hugging Face，并于2026年7月初通过OpenRouter提供免费访问。

最新研究显示，美国部分地区高达30%的人群可能携带与蜱虫叮咬相关的红肉过敏抗体（alpha-gal），这一比例远高于此前疾控中心估计的0.14%。这一发现表明，尽管许多携带者尚未出现症状，但潜在的高风险人群规模远超预期，凸显了该疾病诊断和认知的挑战。

本文介绍了Kokoro，这是一种专为在CPU上本地运行而优化的高质量文本转语音模型，无需昂贵的GPU硬件。它强调了该工具对开发者和爱好者的可访问性，使其能够在普通机器上高效且私密地运行先进的AI语音合成。

本文阐述了开发新型PostgreSQL连接池器的原因，旨在解决PgBouncer或Pgpool-II等现有方案在功能、性能或易用性方面的局限性。文章强调了当前生态系统中存在的具体技术空白，从而催生了这一替代工具的开发。

本文探讨了哲学专业毕业生在人工智能领域找到重要就业机会的新趋势，他们利用逻辑、伦理和批判性思维等技能发挥作用。文章强调，这些“软技能”对于解决AI开发和部署中的复杂挑战变得至关重要。

文章批评了业界常见的做法，即报告看似很高的软件可靠性或准确率指标（如98%），却未充分说明绝对失败率的实际影响。作者指出，即使是微小的失败百分比也可能带来严重的现实后果，呼吁开发者和利益相关者透过表面光鲜的数字看到本质。

Clippy团队因缺乏资金导致审查能力不足，提出了一项由贡献者互相审查PR以加速自身代码合并的倡议。该“互助”模式旨在防止维护者倦怠，并等待Rust基金会维护者基金的可能支持。这一做法借鉴了Bevy项目的类似开源代码审查系统。

本文解释了在现代x64处理器上，为什么使用128字节对齐比标准的64字节缓存行大小更能有效防止伪共享。文章指出，自Intel Sandy Bridge架构以来，空间预取器会成对加载缓存行，因此128字节的间距能更有效地避免缓存行争用。在AWS c5d和c6i实例上的基准测试支持这一优化策略。

Waterfall CAD Playground 是一个基于浏览器的环境，允许用户通过 WebAssembly 编写和执行声明式 Haskell CAD 代码。该工具基于 OpenCASCADE 构建，并利用 GHC WASM 后端，使用户能够在浏览器中直接进行参数化建模，无需服务器端编译。

Radicle 是一个基于 Git 的去中心化代码协作平台，旨在通过点对点复制仓库来消除中央控制，实现主权代码托管。它利用加密身份和自定义 gossip 协议将问题、补丁等社交工件作为原生 Git 对象处理，确保用户拥有数据所有权并具备抗审查能力。

Ebiten游戏引擎的作者成功将Go程序编译为Nintendo Switch的原生二进制文件，取代了之前的WebAssembly方案。这一突破解决了Wasm转C++方法带来的性能瓶颈和编译时间长的问题。

Figma收购了一家Y Combinator支持的团队，该团队曾开发“氛围编码”平台及智能体创建产品。此举标志着Figma向AI驱动的开发工具和生成式设计工作流扩展。这一收购凸显了自然语言编码接口在专业设计生态系统中的日益融合。

谷歌已正式宣布将于8月12日在纽约举行“Made by Google”发布会，届时将推出Pixel 11系列手机。据传闻，新机将在设计上进行多项改进，包括更窄的边框、新的金色配色，并可能取消128GB存储选项从而导致起售价上涨。

X正在推出新的iOS视频编辑器和录制功能，旨在鼓励原创内容创作，减少搬运盗用视频。该工具包含多语言字幕和绿幕特效等功能，以增强用户生成媒体质量。

AI法律初创公司Norm获得了由科斯拉风险投资领投的1.2亿美元C轮融资，估值达到12亿美元，成为独角兽企业。这一融资事件凸显了投资者对人工智能与法律服务结合领域持续的信心。

Savi推出了一款旨在保护用户免受逼真AI诈骗（如模仿被绑架亲属的深伪语音勒索）的新移动应用。该公司最近获得了700万美元的种子轮融资，以支持该应用在iOS和Android平台上的发布。

Lola Cars正在生产限量16辆的T70S复刻赛车，该车结合了经典设计与现代可持续材料，如植物纤维和从海水中提取的镁。这些车辆提供符合FIA历史赛车认证版本以及英国公路合法GT版本，标志着Lola在破产后复兴的重要一步。

Netflix在保留热门剧集第二季观众方面面临严峻挑战，《怒呛人生》、《降世神通：最后的气宗》和《海贼王》等作品的观众流失率显著。平台正在积极调查导致这一趋势的原因，包括来自TikTok等短视频平台的竞争以及观众习惯的改变。

Netflix将于8月3日起从BuzzFeed、Condé Nast和Hearst等主流数字出版商处获取视频内容，以扩充其播放库。此举旨在让用户无需离开平台即可观看这些在YouTube等网站上流行的系列节目和短片，实现了网络内容与流媒体服务的整合。

X产品负责人Nikita Bier指出，平台上许多热门账号发布的视频实为盗用他人内容，因此宣布推出新的内置视频编辑和录制工具以遏制“回收内容”。该功能已在iOS端上线，旨在通过提供多语言字幕叠加等功能，鼓励用户在平台上创作原创视频，因为视频目前已占平台近半数的展示量。

美国广播公司（ABC）正式向联邦通信委员会（FCC）提出挑战，认为FCC对《观点》节目政治报道的调查威胁到了编辑独立性。此次冲突源于FCC主席布伦丹·卡尔因该节目的特定采访内容而重新审查其“真正”新闻节目的分类资格。

Discord承认其自动安全系统存在漏洞，导致超过8000个账户因上传国际象棋棋盘等无害图片而被误封。首席技术官Stanislav Vishnevskiy确认，在收到大量用户投诉后，所有受影响的用户均已解封。

Simon Willison 发布了 sqlite-utils 4.0 版本，引入了数据库模式迁移这一重要新功能。该更新增强了用于操作 SQLite 数据库的流行 Python CLI 工具和库，使开发人员能够更有效地管理结构变更。

该网站精选了30篇机器学习核心论文，并以初学者友好的格式呈现。这一资源旨在通过简化复杂的学术文献，降低理解基础ML研究的门槛。

Jim Paris 开发了一款 TrueType 字体，可将文本渲染为二维码，使用户能够直接在标准文档中嵌入可扫描的链接。该项目巧妙地将排版与数据编码结合，使得二维码可以无缝集成到文字处理软件和网页浏览器中。

StreetComplete 是一款安卓应用，通过向用户提出关于当地基础设施的简单问题，以游戏化的方式促进对 OpenStreetMap 的贡献。它降低了地图编辑的门槛，允许非专家通过任务界面提高数据的准确性。

本文是一篇关于OpenBSD操作系统中“Pledge”和“Unveil”安全机制采用情况的测量研究。作者分析了这些沙箱工具在系统代码库中的集成方式和实际使用情况，为评估其在增强系统安全性方面的有效性提供了实证数据。

文章指出，开源AI模型的成功目前并未对Anthropic等前沿实验室造成负面影响。相反，开源与专有模型似乎分别占据了AI生命周期的不同阶段，两者能够共存并共同发展。

Netflix通过与Variety和Rolling Stone等数字出版商的新合作，将其平台内容扩展至2至20分钟的短视频。这一举措标志着Netflix在战略上向快速增长的短视频市场靠拢，旨在增强用户参与度，但其影响力尚不及其在游戏或直播体育领域的重大布局。

Bidbus是一家让经销商竞购二手车初创公司，近日由Ibex Investors领投完成了1500万美元的A轮融资。该平台旨在通过让经销商相互竞价，为卖家提供更优价格，从而简化二手车销售流程。

最新报告显示，Netflix观众在看完第一季后续订第二季的意愿下降，表明观看习惯正在发生变化。文章指出，随着观众参与模式的演变，传统的“刷剧”优势可能正在减弱。

由Bessemer、Index Ventures和Andreessen Horowitz等顶级风投机构校友创立的Chemistry Ventures，正在为其第二支基金筹集5亿美元。此举表明市场对该创始团队在当前环境下持续获取和管理大量资本的能力仍充满信心。

研究表明，雄性蜻蜓通过相对简单的基于视觉的规则实现复杂的空中格斗机动，而非依赖复杂的神经处理。这一发现为生物系统如何利用最小的计算开销产生高性能敏捷性提供了新的见解。

Remarkable Paper Pure 提供了极其自然、无干扰的书写体验，配备快速处理器和清晰屏幕，但其预算级塑料机身和缺乏背光功能限制了在弱光环境下的使用。该评测强调了其核心书写功能与物理设计限制之间的权衡。

Bookshop.org 宣布将于 2026 年在 Rakuten Kobo 电子阅读器上正式上线。此次合作旨在将独立书店的图书资源扩展至 Kobo 用户，进一步丰富独立出版商和读者的生态系统。

葡萄牙电动汽车初创公司Amble推出了Amble One，这是一款高端的合法上路电动卡丁车，旨在作为传统汽车的更小、更简单的替代品。该产品定位为“第二辆车”，主要面向不需要大型车辆的地区，强调新复古美学和实用性，而非高性能或自动驾驶功能。