E-Ink 新闻日报

SpaceX已向美国证券交易委员会提交了S-1注册声明，朝着备受期待的首次公开募股迈出了重要一步。该文件详细披露了其卫星互联网服务Starlink的财务和运营情况，预计这将成为IPO的主要业务单元。此举可能使SpaceX的估值超过1500亿美元，标志着太空技术商业化的重要里程碑。

OpenAI开发的一个模型成功推翻了离散几何中一个长期存在的猜想，展示了AI在纯数学研究中的贡献能力。这一突破表明机器学习能够发现人类数学家难以察觉的反例和模式，可能为数学发现开辟新途径。这是AI辅助数学研究的重要里程碑，可能加速理论数学的进展。

黑客组织TeamPCP声称入侵了GitHub内部系统，据称窃取了约4000个私有仓库的源代码，并以超过5万美元的价格出售数据。GitHub已确认内部仓库存在未授权访问，但表示没有证据表明客户数据遭到泄露。此次入侵突显了全球最大代码托管平台之一面临的安全隐患。

Linux内核的__ptrace_may_access()函数中发现一个严重逻辑漏洞（CVE-2026-46333），允许本地提权和信息泄露。该漏洞自2016年Linux 4.10-rc1起存在，攻击者可绕过安全检查并以root权限执行任意命令。已证实多个概念验证漏洞利用可针对chage、ssh-keysign和pkexec等系统工具，影响包括Debian、Ubuntu和Fedora在内的主要Li...

谷歌发布了一个影响数百万Chromium用户的未修复漏洞的利用代码，该漏洞影响Chrome、Edge及其他基于Chromium的浏览器。攻击者可以利用该漏洞创建持久连接，监控用户活动，启用代理浏览并发动DDoS攻击，实质上形成一个僵尸网络。尽管该漏洞在29个月前就被报告，但至今仍未修复，对用户安全构成重大威胁。

文章批判性地分析了谷歌最近的网络平台变化，认为该公司正在破坏开放网络标准，转而支持自己的生态系统。文章讨论了谷歌通过Chrome在浏览器市场的主导地位及其对网络标准的影响如何导致互联网变得更加封闭和受谷歌控制。这一观点在科技界引发了关于开放网络未来的重要讨论。

科学家们正在使用大脑类器官（实验室培育的简化版人脑）进行药物测试，这引发了关于意识和生命定义的重大伦理问题。这些由人类干细胞培育的类器官可以存活数月并显示出复杂的神经活动，可能比动物模型提供更准确的药物测试结果。该研究凸显了在体外研究人类神经组织的科学前景和伦理担忧。

GitHub已确认一个恶意的VSCode扩展程序入侵了3,800个代码仓库，这是一起严重的供应链安全事件。此次入侵事件发生在GitHub内部仓库遭未授权访问之后，引发了关于开发者工具和第三方扩展安全性的严重担忧。该事件促使人们讨论如何改进代码仓库和扩展市场的安全措施。

Meta被指控在沙特阿拉伯和阿联酋限制人权账号的传播范围，据称是迫于政府压力。该事件引发了关于数字权利和言论自由的担忧，突显了科技平台与威权政体在在线表达问题上的持续紧张关系。

Qwen3.7-Max在AI智能体能力方面取得重大进展，具备增强的推理、工具使用和代码生成功能。该模型在各种基准测试中表现优异，成为领先专有模型的有力开源替代品。此次发布标志着先进AI智能体技术向开发者和研究人员更广泛普及迈出了重要一步。

文章揭示了通行密钥（passkey）实现中的一个关键安全漏洞：XSS（跨站脚本）攻击可被利用来注册攻击者控制的通行密钥，从而创建持久性后门。这破坏了通行密钥的防钓鱼优势，可能导致静默账户接管。作者详细解释了该漏洞的技术细节并讨论了可能的防御机制。

文章认为C和C++由于普遍存在的未定义行为(UB)而存在根本性缺陷，即使是有经验的程序员也几乎不可能写出完全正确的代码。作者以30年经验指出，UB不仅仅是优化问题，而是语言规范本身的问题，许多常见的编程实践都可能在不经意间触发UB。文章建议考虑到现代计算环境和安全需求，是时候超越这些语言了。

SpaceX公开了其IPO申请文件，披露了重大的人工智能投资和雄心勃勃的星际飞船计划，同时确认了埃隆·马斯克在多个高管职位上的核心领导地位。此次IPO预计将成为有史以来规模最大的一次，标志着该公司和商业航天工业的关键时刻。文件强调了SpaceX在运营中整合人工智能的战略重点及其星际旅行的长期愿景。

Sam Altman向当前Y Combinator批次的每家初创公司提出了突破性的投资提议，OpenAI将通过代币换股权的形式进行投资。这一前所未有的举措可能通过为早期公司提供AI资源来显著影响创业生态系统，同时可能扩大OpenAI在科技行业的影响力。

OpenAI宣布其AI模型成功解决了一个自1946年以来悬而未决的80年几何猜想。这一突破尤其值得注意，因为之前曾揭穿OpenAI早期声明的同一组数学家团队现已验证该解决方案有效，为该成就提供了重要的可信度。

据报道，特朗普政府拒绝让接触埃博拉病毒的美国医护人员回国治疗，迫使他们前往德国和捷克共和国寻求治疗。确诊感染埃博拉的Peter Stafford医生及其家人被送往柏林，而另一名接触病毒的医生Patrick LaRochelle则被送往布拉格。由于早期治疗对埃博拉生存至关重要，疏散和治疗的延误引发了对其健康状况的严重担忧。

谷歌正在积极推动其AI搜索转型，AI模式用户数每季度翻倍，目前月活用户已超过10亿。尽管存在用户担忧，公司仍在将AI更深度地整合到搜索中，用AI概览和对话式体验取代传统搜索结果。这一始于2025年的战略转变代表了搜索功能的根本性重塑，谷歌正利用其市场主导地位推动采用。

中国在英伟达CEO黄仁勋访华期间禁止了RTX 5090D V2显卡，加剧了中美科技竞争。这款专为中国市场设计、符合美国出口管制的芯片被列入海关黑名单，显示中国支持华为等本土芯片制造商的决心。尽管黄仁勋对市场开放表示乐观，但此举突显了两国在半导体和AI领域日益紧张的竞争关系。

SpaceX已正式提交IPO申请，这可能是史上规模最大的首次公开募股，计划以SPCX为代码在纳斯达克上市。该公司2025年营收达186.7亿美元，主要来自星链卫星互联网服务，但由于207亿美元的巨额资本支出，公司亏损49亿美元。

Beyond Plastics的一项研究发现，尽管星巴克声称使用'广泛可回收'的杯子，但所有被追踪的杯子实际上都没有被回收利用。调查揭示了回收基础设施的重大缺陷和一次性杯子回收面临的挑战。这些发现引发了关于企业可持续发展声明和当前回收系统有效性的质疑。

Node.js 26.0.0 正式发布，其中包含备受期待的 Temporal API 集成，用于高级日期和时间操作。该更新还包括 V8 引擎升级、改进的 Web API 兼容性以及各种性能优化。此版本代表了服务器端 JavaScript 开发的重要进步。

本文探讨了Steel Bank Common Lisp（SBCL）如何成为实验汇编代码的优秀平台，它在保持高级编程能力的同时提供对底层操作的直接访问。文章重点介绍了SBCL使其特别适合系统编程和性能关键应用的独特功能。

谷歌正在积极应对其AI搜索结果被操纵的问题，因为不良行为者试图通过提示注入等技术手段利用系统。该公司正在实施新的安全措施和检测方法，以维护其AI搜索功能的完整性，尽管安全措施与操纵尝试之间的军备竞赛仍在持续演变。

Mozilla的SpiderMonkey团队宣布弃用asm.js，这是一种低级JavaScript子集，是WebAssembly的前身。在WebAssembly出现之前，该技术对于在Web浏览器中实现接近本机的性能至关重要，随着WebAssembly现已成为高性能Web应用的标准，asm.js将从未来的SpiderMonkey版本中移除。此举反映了Web平台的发展以及WebAssembly在所有主...

Railway的GCP账户被谷歌云意外暂停，导致平台出现重大服务中断。该事件凸显了云服务商依赖性的风险以及自动化执行系统的潜在影响。公司正在与谷歌合作解决问题并防止未来再次发生。

文章探讨了Rust类型系统中的高级概念，特别是存在类型及其使用存在量词进行的数学表示。它解释了如何通过类型理论来理解Rust的`dyn Trait`和`impl Trait`，并解决了一个关于多类型参数存在量化的复杂问题。

一名安全研究人员发现，他们在2022年报告的Chromium漏洞虽然声称已修复，但实际上仍然可利用。该问题凸显了Chromium安全补丁验证过程中存在的潜在漏洞。这一发现引发了对浏览器安全更新有效性以及需要更彻底测试修复程序的担忧。

2026年5月，Mastodon、IceShrimp.net和Misskey等多个联邦宇宙（Fediverse）平台发现了一个与已弃用的LD-Signatures协议相关的重大安全漏洞。该漏洞源于过时的加密实现，突显了联邦宇宙技术基础设施面临的持续挑战。这一事件促使受影响平台发布安全更新，并重新引发了关于协议现代化的讨论。

一场具有里程碑意义的审判将于8月举行，将决定Vizio是否必须发布其基于Linux的智能电视操作系统的源代码。软件自由保护协会八年来一直致力于执行GNU GPL许可条款，认为Vizio使用开源软件需要共享其修改内容。此案结果可能对用户对智能设备的控制权产生重大影响，并为消费电子产品中的开源软件合规性开创先例。

ModuleJail 是一个新的开源工具，通过自动黑名单所有未使用的内核模块来帮助保护 Linux 系统安全，有效减少攻击面。该脚本通过为当前未使用的模块创建 modprobe.d 黑名单文件来工作，支持基线例外和管理员白名单功能。在当前 AI 辅助安全扫描预计会快速暴露大量内核模块漏洞的背景下，这个工具的出现恰逢其时。

本文探讨了在glibc的malloc实现中实现跨线程双重释放检测的潜在方法，特别关注tcache（线程缓存）机制。作者详细解释了glibc内存分配的低层工作原理，包括内存块结构和元数据存储方式。这篇文章为检测跨线程内存损坏漏洞提供了一个潜在的安全增强方案。

SpaceX的IPO文件显示，埃隆·马斯克的人工智能公司xAI在2025年亏损64亿美元，同时计划大规模扩展其Grok AI系统。这一披露首次公开了马斯克AI业务的财务状况，并暗示未来需要持续大量投资。文件还突显了开发先进AI系统日益增长的成本。

英伟达公布了创纪录的季度营收，但暗示下一季度增长可能放缓。公司还披露了430亿美元的初创企业投资组合，突显其在AI和科技生态系统的战略布局。

Anthropic已同意每月向埃隆·马斯克的xAI支付12.5亿美元购买计算资源，这标志着两家主要AI公司之间的重要合作。该交易是AI行业已知最大的计算协议之一，可能预示着AI基础设施市场竞争格局的变化。

微软签署了一项新的碳清除协议，推翻了此前有关其暂停碳清除采购的报道。该公司占碳清除市场90%以上的份额，此举旨在向碳清除初创公司保证其对该领域的持续承诺。

特斯拉正逐步将其全自动驾驶（FSD）软件引入欧洲市场，已开始在荷兰和立陶宛推出，预计将有更多欧洲国家跟进。这标志着特斯拉全球自动驾驶雄心的重大进展，不过该系统仍需驾驶员监督，并在欧洲面临监管审查。

全球电动汽车市场呈现K型复苏态势，除美国外所有地区都实现了强劲增长。这种分化给在美国市场投入巨大的传统汽车制造商和电动汽车初创企业带来了重大挑战，可能影响美国汽车业的长期竞争力和向可持续交通的转型。

据报道，在埃隆·马斯克对OpenAI提起的诉讼得到解决后，该公司正在加速推进其首次公开募股(IPO)计划，可能最早于9月进行。这起法律诉讼此前曾威胁到这家AI公司的结构、领导层和财务状况。

Intuit宣布计划裁员3000多人，作为其简化运营和优先发展AI战略的一部分。CEO Sasan Goodarzi在备忘录中表示，此举旨在降低组织复杂性，加速公司AI计划。这次重组反映了科技公司向AI技术重新分配资源的行业趋势。

AI搜索市场正在升温，Exa Labs（2.5亿美元融资，估值22亿美元）和Parallel Web Systems（1亿美元融资，估值20亿美元）等初创公司获得大额融资，挑战谷歌和ChatGPT等现有企业。亚马逊、领英和Reddit等传统科技平台也在将AI整合到搜索功能中，形成了竞争格局。随着各公司竞相改变用户在线发现信息的方式，市场机会巨大。

Stability AI发布了Stability Audio 3.0系列音频模型，能够生成长达6分20秒的专业级音乐，是前代产品时长的两倍多。该公司将三个较小模型开源，而最大的2.7B参数模型仅通过付费服务提供。此次发布正值AI音乐生成领域竞争加剧之际，此前Stability AI已与华纳音乐和环球音乐等主要唱片公司达成合作。

NASA的Psyche航天器成功完成火星重力辅助飞越，获得了1000英里/小时的速度提升，并调整了其前往富含金属的小行星Psyche的轨道。该任务于2023年10月发射，预计2029年到达小行星带的目标。此次飞越还为测试航天器在长途飞行中的科学仪器提供了机会。

梅赛德斯-AMG发布了全电动GT四门轿跑车，标志着从传统V8发动机向电动性能的重大转变。该车采用了包括YASA新型轴向电机和源自F1的电池单元等先进技术，使Concept AMG GT XX概念车更接近量产。在洛杉矶举行的高调发布会邀请了F1名人和明星参加，彰显了梅赛德斯-AMG对此次电动化转型的重视。

特朗普总统正在寻求10亿美元的纳税人资金，为白宫宴会厅实施先进的安全措施，包括防无人机钢制屋顶和潜在的屋顶军用无人机港口。这些拟议的安全升级将是在科技和国防公司已为宴会厅建设筹集的4亿美元之外的额外支出。此举正值五角大楼最近发布保护关键基础设施免受无人机威胁的新指南。

生物技术初创公司Colossal开发出一种人造蛋壳，使鸡胚胎能在自然蛋壳外发育，并成功培育出健康的小鸡。这一突破可能显著推动鸟类去灭绝工作，并改善发育生物学的研究能力。尽管在更广泛应用方面仍存在一些障碍，但该技术有望解决研究脊椎动物发育的实际挑战。

特朗普政府因明尼苏达州新颁布的预测市场禁令而对该州提起诉讼，CFTC认为该法律侵犯了联邦管辖权并损害了受监管市场。这项将运营或宣传预测市场定为重罪的法律是美国首个州级全面禁令，将于8月1日生效。CFTC称此举破坏了联邦监管框架，可能对使用类似对冲产品的农民造成负面影响。

田纳西州一名退休警察Larry Bushart因在Facebook上分享特朗普表情包被关押37天后，获得了83.5万美元的和解金。该表情包准确引用了特朗普在爱荷华州佩里高中枪击案后'我们必须克服它'的言论。Bushart的律师团队表示，此案涉及第一修正案权利，当局因不同意其政治观点而逮捕他是违宪行为。

Figure AI的人形机器人处理包裹分拣任务的直播走红网络，展示了其Figure 03机器人长时间自主处理包裹的能力。虽然这次演示在科技圈引起了巨大反响，甚至有人将其与乔布斯的经典产品发布相提并论，但它仅展示了机器人实际能力的有限方面。这些机器人使用公司的Helix 02神经网络系统实现全身控制和长期自主操作。

在Google I/O大会上，DeepMind首席执行官Demis Hassabis宣布公司计划利用AI彻底改变药物发现过程，目标是'解决所有疾病'。这标志着谷歌在将AI应用于医疗保健和科学研究方面迈出了重要一步，尽管这一宏伟目标的实际可行性仍存在疑问。

谷歌推出了一项由AI驱动的YouTube Shorts混音新功能，允许用户使用Gemini Omni对现有视频进行创意修改。用户可以将视频转换为像素艺术或动漫等不同风格，修改视频中的元素，甚至将自己插入到他人的内容中。该功能包括创作者控制选项，可以启用或禁用自己视频的混音功能。

Google I/O 2026的主要公告包括Gemini 3.5 Flash和即将推出的Gemini Spark AI代理，该代理可与Google生态系统集成。文章指出了关于Gemini Spark底层技术的困惑，特别是其同时使用Gemini 3.5 Flash和神秘的'Antigravity'平台。作者还提出了关于安全措施和提示注入风险的问题，并指出企业客户将获得隔离的执行环境以确保数据保护。

文章详细介绍了如何最小化Zig编译的ELF二进制文件大小的实验，从一个2180KB的'空程序'开始，通过剥离调试信息和使用ReleaseSmall模式等优化技术，最终将大小减少到12KB。虽然实现了显著缩减，但二进制文件仍远高于ELF可执行文件80字节的理论最小值，突显了Zig运行时和标准库的固有开销。这个技术演练为开发人员提供了在嵌入式系统或CTF挑战中优化程序大小的实用见解。

C++26引入了两个新的函数包装器：std::copyable_function和std::function_ref，解决了现有std::function的局限性。这些新特性提供了更好的常量正确性和更灵活的使用模式，其中std::copyable_function提供了支持复制的常量正确替代方案，而std::function_ref则提供了对可调用对象的非拥有引用。

Clouted是一家来自a16z Speedrun加速器的AI初创公司，已融资700万美元，帮助品牌优化短视频营销。该平台利用10万多名零工创作者进行视频剪辑，并使用AI确定跨社交平台的最佳分发策略。该公司通过成功推广&Friends音乐节验证了其模式，专注于绩效驱动而非内容数量。

根据SpaceX的IPO文件，埃隆·马斯克的xAI计划在未来三年内购买价值28亿美元的天燃气涡轮机。此举正值该公司因数据中心发电机问题面临诉讼，突显了AI基础设施日益增长的能源需求。

由吴恩达支持的AI初创公司IrisGo正在开发一款通过观察用户行为来自动化任务的桌面AI助手。该工具旨在作为一个主动的'AI管家'，能够预测并执行常规计算机操作。这代表了一种通过观察学习实现桌面自动化的新方法。

爱彼迎正式将酒店业务纳入其平台，首先在20个主要城市推出精品酒店预订服务。公司同时加强了人工智能在房东入驻和客户支持方面的应用。这一战略举措使爱彼迎能够进入因监管限制而无法开展短租业务的市场，同时为商务旅客和临时预订提供更多选择。

据报道，Trump Mobile正在泄露客户的个人信息，包括电子邮件和家庭住址，两位YouTuber已确认泄露数据的真实性。该公司对多起安全漏洞报告未作回应，引发了对用户隐私和数据保护的担忧。

据报道，AMD计划重新发布Ryzen 7 5800X3D作为'10周年纪念版'，帮助用户延长AM4平台的使用寿命。该处理器拥有96MB L3缓存，可为游戏等缓存敏感型工作负载提供显著性能提升，让用户无需升级到DDR5平台即可获得性能提升。在当前DDR5内存和AM5主板价格高企的背景下，这为预算有限的用户提供了一个经济实惠的升级选择。

沃尔沃发布了全新纯电动EX60，采用公司首个SPA3电动平台和一体化压铸技术，续航里程可达400英里。该车配备800V快充、电池车身一体化技术以及独特的'防麋鹿'安全功能。EX60起售价59,795美元，体现了沃尔沃在面临市场挑战时仍坚持发展电动车的决心。

谷歌正在将'氛围编程'引入安卓系统，让用户能够通过AI辅助工具直接在手机上创建自己的应用程序。这一发展可能使应用开发民主化，并改变用户与智能手机的互动方式。该功能在2026年谷歌I/O大会上宣布，代表了传统应用商店模式的重大转变。

沃尔沃正努力从电动汽车战略的重大挫折中恢复，包括其旗舰车型EX90的软件问题需要硬件更换，以及关税问题导致其平价车型EX30在美国的发布受阻。尽管EX40等车型取得了一些成功，但沃尔沃的电动化转型之路充满挑战。该公司目前正试图在竞争日益激烈的电动汽车市场中稳定其地位。

三星电子与其工会达成初步协议，避免了47,000多名韩国芯片工厂工人计划举行的18天罢工。这次罢工本将在全球芯片持续短缺期间扰乱内存芯片生产。工会已暂停罢工计划，等待对协议进行投票表决。

微软已聘请知名游戏行业分析师Matthew Ball担任Xbox首席战略官。Ball以其年度游戏产业报告而闻名，他将把在亚马逊工作室等媒体公司的经验带到Xbox，帮助制定其未来战略方向。

文章详细介绍了Flipper One的技术规格，这是一款用于硬件探索和安全测试的多功能设备。它列出了设备的硬件组件，包括处理器、内存、连接选项和各种传感器。规格突出了其无线协议分析和硬件交互能力。

金属地图是一个互动可视化工具，展示了各种金属乐子流派之间的演变和联系。该项目在Hacker News上获得379分和137条评论，为探索金属音乐的广阔领域提供了一种引人入胜的方式。虽然技术上并不具有突破性，但它提供了音乐流派及其关系的趣味数据可视化。

本文讨论了在API中正确实现'无操作'功能的重要性，以Xbox上的Windows打印基础设施为例。文章解释了为什么对不支持的功能抛出异常存在问题，并建议采用返回空打印机列表或取消代码等更好的方法，以保持应用程序的稳定性和用户体验。

迪士尼已确认将在可预见的未来将Hulu作为独立流媒体服务及其应用程序继续运营，尽管之前有猜测称其可能关闭。该公司于2025年获得Hulu全部所有权，将继续在美国提供Hulu订阅服务，且没有立即终止该服务的计划。虽然迪士尼正在通过后端技术改进将Hulu内容整合到Disney+中，但独立的Hulu应用程序仍将保留，这对Hulu+Live TV订阅用户和高级附加服务用户尤为重要。

文章评测并比较了多款Switch 2手柄，其中EasySMX S10凭借其功能与价格的平衡成为大多数用户的首选。评测指出，与任天堂官方Pro手柄相比，这款第三方手柄具有TMR摇杆、amiibo支持和跨平台兼容性等优势。文章强调，第三方手柄现在能以更低的价格提供比任天堂官方手柄更好的耐用性和功能。

Simon Willison发布了llm-gemini 0.32插件，该插件支持访问谷歌的Gemini系列模型，包括新的Gemini 3.5 Flash模型。这次发布是LLM生态系统持续发展的一部分，属于常规更新而非重大突破。