E-Ink 新闻日报

OpenAI发布博客文章，介绍了数学和理论计算机科学领域的十项重大进展，这些突破对AI研究具有重要意义。文章涵盖了证明验证、复杂度理论和算法改进等多个领域。

欧盟《人工智能法案》中关于AI模型的规则开始生效，布鲁塞尔成为世界领先的AI监管机构。该法律要求对模型训练保持透明、披露版权内容，并对前沿模型开发者施加额外的风险缓解义务。

Daniel Lemire对C++26新增的std::hive容器进行了性能基准测试，将其与std::vector和std::deque等现有容器进行对比。文章提供了关于std::hive缓存友好内存布局何时能带来显著性能优势的技术分析。

Rust 1.98 引入了新的稳定 API，允许编译器更激进地优化浮点运算，解决了长期存在的限制。该 API 让开发者可以在最小化舍入误差的同时控制优化程度。

文章讨论了OpenAI宣布用未发布AI模型解决十个数学开放问题的消息，并系统性地反驳了人们用来淡化AI对数学影响的常见论点。作者认为在数学领域，人类的直觉、教学、策展和学习能力都将被AI超越。

F*是一门面向证明的通用编程语言，将函数式编程与形式化验证能力相结合。它允许开发者编写带有机器可检查正确性证明的程序，弥合软件开发与定理证明之间的差距。

Andrej Karpathy 在 X/Twitter 上分享了一个名为「Pelican」的项目或公告，在 HackerNews 上引发了热烈讨论，获得 360 分和 280 条评论。由于来源内容有限，项目的具体技术细节尚不明确。

文章解释了C语言sizeof运算符的解析难题，它接受一元表达式或括号类型名。复合字面量和后缀运算符使朴素解析方法复杂化，而合并一元表达式和类型转换的解析可能导致歧义，例如sizeof(int)+1是加法而非类型转换。

本文探讨了如何在OCaml中使用类型相等见证者来编码受保护方法，因为OCaml的语法不原生支持为单个方法附加约束。文章通过为列表类添加受保护的flatten方法演示了该技术，该方法仅适用于列表的列表。

针对eBay一名女性卖家的协调网络骚扰活动，包含暴力与厌女言论，最终导致5600万美元的法律赔偿。此案凸显了网络骚扰的严重现实后果及平台责任问题。

微软正在提高欧盟和英国地区的Xbox主机价格，涨幅高达200欧元或170英镑。Series X价格上涨约30%，Series S涨幅达43%，主要原因是AI行业需求推高了内存和存储成本。

The Verge认为折叠屏手机在创新上已趋于停滞，变得越来越乏味。这种停滞为苹果提供了按自己节奏进入市场的机会，而非被迫与安卓厂商进行渐进式竞争。

文章探讨了支付报酬是否能解决生成式AI公司与创作者之间的持续紧张关系，后者指出其作品在未经许可的情况下被用于训练。文章重点介绍了Pippa这家新AI初创公司，它通过向艺术家提供版税将自己定位为更道德的替代方案，而围绕AI训练数据的更广泛法律和伦理辩论仍在继续。

由微软主导、235家AI公司联名的公开信反对美国政府禁止开源权重模型的倾向，强调闭源模型会形成单点故障和集中风险。该信还为模型蒸馏技术辩护，回应监管对AI安全与竞争的担忧。

据报道，马来西亚政府已下令关闭Balaji Srinivasan创办的Network School，该创业项目位于一处废弃酒店内，因许可问题被迫关闭。该项目源于Srinivasan的"网络国家"理念，但学员曾抱怨房间发霉、缺乏女性及夜生活。Srinivasan已于2023年放弃美国国籍，并宣布将在哈萨克斯坦开设新校区。

《The Pudding》探讨了教给英语学习者的词汇随时间的变化，分析了哪些词汇被视为学习者必备词汇的转变。文章可能基于历史语言教材和词频数据，展示了ESL/EFL教育中优先级的变化。

Meshdiff 是一款基于浏览器的工具，可在客户端完全本地地可视化比较两个 STL 3D 模型文件，无需上传到服务器。该工具在 Hacker News 上获得 167 分和 17 条评论，显示出中等的社区关注度。

一位开发者展示了 Fuse，一种具有高阶类型、ADT、泛型、特质和模式匹配的静态类型纯函数式编程语言。它编译到 GRIN 优化器生成 LLVM 原生代码，历时5年开发，灵感来自 Rust、Haskell、Scala 和 Python。

Bor 是一个面向 Linux 桌面的开源集中式策略管理系统，采用轻量级 Go 代理和中央服务器，通过 mTLS/gRPC 实时推送策略。0.8 版本新增了对 Thunderbird、Microsoft Edge for Business 和 FirewallD 区域的支持，进一步扩展了其在浏览器、KDE、dconf、polkit 和包管理方面的覆盖。

作者认为AI模型在Opus 4.6级别的智能已能满足大多数日常任务，选择标准正从纯智能转向速度。他提出约100词元/秒是新的可用性感官基准，指出在实际工作流中快速交互往往比微小的智能提升更有价值。

Chris Morgan 认为 Atom 在 RSS 无法可靠表达的某些内容上具有显著优势，因为 RSS 规范存在不一致和歧义。他主张基于实际原因而非仅技术偏好来选择 Atom。

文章讨论了在类Unix系统中向断裂管道写入时出现的EPIPE错误，指出遇到该错误可能表明存在设计或编码问题，而非正常错误条件。文章可能倡导在系统编程中采用更好的管道处理模式。

一位开发者利用AI将其业余项目Popsicle Boat翻译成23种语言，仅用一下午就完成了原本不可能手动完成的工作。德语翻译质量良好，但作者也承认核心问题：对于1500条字符串中的大多数，他们无法验证准确性，只能等待母语使用者反馈。

Fixi项目是一组轻量级Web库的集合，每个库压缩后均小于约4.7kb。该套件包含五个库：fixi.js用于HTTP驱动的DOM更新，moxi.js用于事件脚本和DOM响应式，paxi.js用于内容形态变换，ssexi.js用于服务器推送事件，以及rexi用于更友好的fetch封装。

全球内存芯片短缺已开始影响苹果最畅销的MacBook Air的供货。这一情况延续了半导体供应链持续紧张带来的连锁反应。

Sam Altman呼吁AI行业应"控制AI发展速度"，引发关于AI进步适当速度的讨论。该话题在最新一期Equity播客节目中得到涵盖，凸显了围绕AI发展速度和安全的持续辩论。

TechCrunch Mobility探讨了机器人出租车行业日益分化的道路，强调AI正在深刻塑造自动驾驶交通的未来。

文章展示了多款App Store隐藏佳作，证明尽管AI代理预测传统应用将被取代，但优质软件仍有其价值。推荐应用包括智能书签工具、社区集市、数字笔友和自然日记等。

Fender CEO Bud Cole将翻唱歌曲和乐队成员比作“模拟AI”的言论近日引发关注，进一步加剧了公司的公关危机。此前Fender向独立吉他制造商发送停止函并声称Stratocaster琴体形状的版权，导致部分知名吉他YouTuber宣布抵制该品牌。

HP HyperX Omen 15 接替了广受欢迎的 Victus 15，成为新的入门级游戏本，配备 RTX 5050 显卡、更亮的 16:10 屏幕和 1080p 摄像头。然而，其 1200 美元的起售价远高于 Victus 的 800 美元，尽管有所升级，性价比却大打折扣。

Simon Willison的2026年7月通讯涵盖了重要的AI发展动态，包括OpenAI和Anthropic模型的意外网络攻击事件、GPT-5.6、Claude Opus 5、Kimi K3和DeepSeek-V4-Flash-0731的发布，以及关于AI开发的公开信和对MCP的重新关注。

Pocketbook Era Lite是一款7英寸平价电子书阅读器，配备清晰的E Ink Carta 1300屏幕和实体翻页按键。它保留了标准版Pocketbook Era的开放格式生态，但通过取消内置扬声器降低成本。

iReader Air 3 Pro是一款即将推出的8.2英寸电子阅读器兼电子笔记设备，以其独特的屏幕尺寸和专注于提升文字清晰度的设计在电子纸市场中脱颖而出。