E-Ink 新闻日报

微软发布了 TypeScript 7.0，该版本采用完全用 Go 语言重写的原生端口，编译速度比之前版本提升了约 10 倍。此次更新在保持与现有代码库完全兼容的同时，引入了共享内存多线程及其他性能优化措施。

Bun创始人宣布将运行时全面重写为Rust，并利用Anthropic的Claude Fable 5进行辅助开发。此次架构调整旨在解决原版Zig实现中存在的稳定性及内存安全问题（如use-after-free错误）。此举标志着Bun在并入Anthropic后，其技术栈的重大演进。

Noma Security研究人员在GitHub新推出的Agentic Workflows功能中发现了一个关键的提示注入漏洞，命名为“GitLost”。该漏洞允许未授权攻击者通过在组织内公共Issue中发布恶意内容，欺骗AI代理从私有仓库中泄露数据。

一起针对美国大型保险公司的重大网络攻击导致数百万张驾照号码泄露，这是2026年迄今已知最大规模的此类数据泄露事件。该事件凸显了大型金融和保险机构在存储和保护敏感个人身份信息方面存在严重漏洞。

一起集体诉讼指控xAI的Grok AI被用于生成数千张涉及未成年人的儿童性虐待材料（CSAM），凸显了内容审核和儿童安全协议的严重缺陷。起诉书称，尽管有强制报告要求，xAI仍阻碍执法调查，拒绝提供用户数据，仅在触发极端提示后才介入。此案引发了关于AI开发商在防止非法性虐待材料创建和传播方面责任的关键问题。

谷歌支付25万美元赏金以获取CVE-2026-53359漏洞信息，该漏洞允许访客虚拟机突破隔离并获取宿主机root权限。研究员Hyunwoo Kim发现的这个名为“Januscape”的16年历史漏洞影响AMD和Intel处理器，对云基础设施构成严重安全威胁。

OpenAI 推出 GPT-Live，这是一种实时语音界面，允许用户通过电话或网页与 GPT 模型进行自然、低延迟的对话。该功能支持动态交互，AI 能听到背景噪音、打断用户并即时响应，标志着从基于文本的界面向流畅语音通信的重大转变。

OpenBSD 7.9及更早版本在内核的系统V信号量实现中存在严重的释放后使用漏洞。该漏洞允许本地攻击者提升权限至root，相关细节记录在CVE-2026-57589中。

瑞典AI初创公司Lovable据报道正在洽谈以132亿美元估值融资3亿美元，估值较此前翻倍。该公司年化收入已达5亿美元，并通过其“氛围编码”平台为Nvidia和Workday等大型企业提供技术服务。

鉴于在针对伊朗的冲突中损失了价值超10亿美元的“死神”无人机，五角大楼正紧急寻求廉价且可消耗的“猎杀者”无人机，以通过数量优势压倒敌方多层防空系统。这一战略转变借鉴了乌克兰通过大量低成本无人系统饱和攻击的成功战术，与美国此前依赖昂贵复杂平台的策略形成鲜明对比。

法国科学家成功监测到澳大利亚板块与南极洲板块之间洋中脊的一次突然快速扩张事件，揭示了显著的地壳变化可能在无明显地震活动的情况下发生。这一实时观测为海底扩张机制提供了前所未有的见解，而海底扩张是板块构造理论的核心组成部分，以往难以直接观察。

作为微软Xbox重组和裁员计划的一部分，Obsidian娱乐取消了包括《Avowed》续作在内的多个项目，转而开发新的《辐射》游戏。这一战略调整旨在利用电视剧系列的成功带来的热度，填补自2018年以来该系列主机游戏的市场空白。

Cloudflare 推出了名为 Meerkat 的全球分布式共识服务，旨在其 330 多个数据中心之间实现强一致性。该服务基于 QuePaxa 算法构建，解决了传统领导者协议（如 Raft）在广域网中因延迟和可用性导致的性能瓶颈问题。

Cognition发布了SWE-1.7模型，其性能接近GPT-5.5和Opus 4.8，但成本大幅降低。该模型基于Kimi K2.7训练，通过改进的基础设施和长周期任务优化，证明了强化学习能突破此前的“后训练天花板”。目前该模型已通过Devin和Cerebras提供服务，在SWE-Bench等基准测试中表现优异。

Fenris Creations 已将《EVE Online》背后的 Carbon 引擎在 GitHub 上开源。此举旨在建立社区信任、促进代码审查，并鼓励开发者基于该引擎构建新的应用。目前社区已开始提交安全修复补丁，并讨论开发相关网页工具的可能性。

Nicolas Seriot 证明了 Unicode 的 UTS #35 转写规则具有图灵完备性，意味着它们可以模拟任何计算过程。这表明判断特定转写规则在给定输入下是否会终止是一个不可判定问题，突显了 ICU 等广泛使用的国际化库中存在的重大理论复杂性。

Frank Denis 将 WebAssembly 转 C 的编译方案与 Wasmer 和 Wasmtime 等现代运行时进行基准测试，发现即使在引入新的“宽算术”特性后，C 路径依然具有极强的竞争力。通过在 wasm2c 中添加对宽算术的支持并使用 Zig 原生编译，该方案在几何平均测试中超越了 Wasmer 和 Wasmtime。

NASA/JPL开源了SpaceWASM，这是一种专为航天器序列控制设计的符合飞行标准的WebAssembly解释器。该工具包含解码器和验证器，能将WASM字节码转换为优化的中间表示形式，以确保在安全关键环境中实现确定性、低内存占用的执行。

美国国家公路交通安全管理局（NHTSA）向自动驾驶汽车开发商发出指令，要求解决导致其车辆干扰急救人员的功能缺陷。该局指出，自动驾驶汽车阻挡紧急现场且未能识别闪光等安全信号已成为一种模式，并强调这并非罕见的边缘情况，而是必须立即修复的关键问题。

OpenMandriva 发布声明称，前贡献者 Davide Beatrici 因内部关于基础设施管理的争议及行为问题，对其代码仓库进行了破坏。Beatrici 据称删除了 GitHub 上的大量历史数据，并向 Cooker 滚动发行版推送了空包，替换了关键的 GNOME 和 COSMIC 软件包。目前该项目正在努力恢复被删内容并减轻对用户系统的潜在损害。

General Intuition 公司提出利用海量电子游戏模拟数据来训练物理人工智能的基础模型，旨在减少对稀缺真实世界机器人数据的依赖。该方法希望通过模拟在物理环境中难以获取或成本高昂的多样化场景，加速机器人的开发进程。

SpaceXAI发布了Grok 4.5，旨在提供比现有强大AI模型更具成本效益和效率的替代方案。埃隆·马斯克将该新版本描述为“Opus级模型”，表明其性能和能力有了显著提升。

文章指出，当前的LLM缺乏实现AGI所需的时空推理能力，而视频游戏数据可能通过教导模型理解物体在空间和时间中的运动来弥补这一缺陷。这一观点是General Intuition的核心策略，其认为游戏数据比互联网文本更适合作为训练材料。

加密货币风投机构Paradigm已筹集12亿美元，新基金的投资范围将从加密货币扩展至机器人技术和人工智能。此举标志着其战略重心转向更广泛的“技术前沿”初创企业，而不再局限于数字资产领域。

Prime Intellect 获得了 1.3 亿美元的 A 轮融资，旨在帮助企业独立开发自主 AI 智能体，减少对外部前沿 AI 实验室的依赖。该公司成立于 2024 年，致力于提供工具让组织能够自行训练定制化的智能系统。

文章指出Mercor和Anthropic等几家AI初创公司的收入增长正在加速，部分企业甚至在数月内就实现了营收翻倍。尽管这些公司报告了快速扩张，但它们对ARR等财务指标的定义各不相同，包括年度经常性收入、承诺合同收入等。这种飞轮效应表明，顶级AI企业的财务规模扩张速度已显著超越传统软件公司，市场正在迅速成熟。

苹果与博通签署了一项价值超过300亿美元的多年期协议，将在美国制造超过150亿颗定制无线连接芯片。这一重大投资凸显了苹果在关键组件生产上向本土化转移的战略，旨在增强供应链韧性并支持美国半导体制造业的发展。

布朗大学一位经济学教授发现，学生在现场考试中的成绩比以往的开卷考试下降了50%，揭示了高成就学生中普遍存在的AI作弊现象。这一事件凸显了在竞争激烈的常春藤盟校环境中，学术诚信与利用AI捷径诱惑之间的紧张关系。该教授的公开回应引发了关于生成式AI如何重塑高等教育评估方式的更广泛讨论。

一名联邦法官驳回了Kalshi关于其CFTC注册资格可优先于纽约州赌博法律的论点，裁定国会意图允许各州监管与衍生品交易相关的边缘问题。Kalshi已宣布将向美国第二巡回上诉法院提出上诉。该裁决重申了尽管存在联邦商品法规，各州对预测市场仍拥有监管权。

迈阿密公司City Labs成功发射了BOHR卫星，这是世界上首个商业核能立方星，采用基于氚衰变的贝塔伏特电池供电。这一里程碑事件证明了紧凑且符合监管要求的微型核能系统在无需阳光的情况下实现持久运行的可行性。尽管相较于完整反应堆仍属小规模概念验证，但这为长期深空探测及未来月球基础设施奠定了重要基础。

谷歌大幅更新了Android Bench基准测试，新增了八款主流大语言模型，并增加了成本和效率等评估指标，以更全面地衡量AI在安卓开发中的表现。尽管进行了更新，谷歌自家的Gemini 3.1 Pro模型仅排名第五，落后于OpenAI的GPT 5.4和Anthropic的Claude Fable 5，后者以84.5%的准确率领先。

尽管美国政府推动建立本土稀土供应链，但由于国内需求增长缓慢，美国矿商仍向日本和韩国等亚洲市场大量出口稀土。这一趋势凸显了摆脱关键矿物对外依赖所面临的持续挑战。

蓝色起源预计首次筹集100亿美元私人资本，估值达到1300亿美元，由Coatue Management和杰夫·贝佐斯主导。这一战略转变旨在提供必要的财务资源，以在发射服务、电信和员工薪酬方面与SpaceX直接竞争。

据报道，Meta正在开发原型“超级感知”智能眼镜，能够持续录制音频和照片（可能每几秒一次），并将数据用于其Meta AI助手。消息称，虽然设备会捕捉这些信息，但原始媒体文件可能不会存储或直接提供给用户，而是仅利用元数据进行后续处理。

OpenAI发布了GPT-Live-1，这是ChatGPT的升级版语音模型，旨在通过减少打断和更好地处理对话停顿来实现更自然的人机交互。该模型会自动将复杂查询路由至GPT-5.5等高级文本模型进行推理和网络搜索，从而在信息查询与对话之间实现更流畅的切换。

SpaceXAI发布了Grok 4.5，将其定位为在编码、智能体任务和知识工作方面表现最强的模型，并与Cursor合作进行了训练。尽管官方强调了其在DeepSWE和Terminal Bench等工程基准测试中的优异表现，但独立评估显示其在多项关键指标上落后于Fable和GPT 5.5等竞争对手。

欧洲议会已批准紧急程序，以加快恢复已过期的“聊天控制1.0”规则，该规则允许平台自愿扫描私人消息中的儿童性虐待材料（CSAM）。针对这一措施的最终投票定于7月9日进行，这与正在进行的永久性“聊天控制2.0”框架谈判是分开的。

OpenAI发布了一篇关于代码评估基准的分析文章，指出当前评估方法存在数据污染和缺乏现实有效性的问题。文章提出了新的方法论以更好地区分真正的编码能力与记忆性答案，并强调需要更严格的测试协议。

作者详细说明了 Flathub 严格的软件包审核流程，并指出随着 AI 生成代码的兴起，大量低质量、不合规的合并请求让志愿者审核人员不堪重负。为应对“氛围编程”趋势带来的混乱，Flathub 宣布禁止接受由大语言模型生成的提交内容，以保障平台质量。

BotKit 是一个 TypeScript 框架，允许开发者创建作为独立服务器运行的 ActivityPub 机器人，而非依附于现有社交媒体账户的脚本。由 Fedify 团队开发，它使机器人能够在自定义域名上运行，完全掌控身份、存储和联邦网络，不受平台限制。

该GitHub仓库展示了LisaFPGA项目，该项目将历史悠久的Apple Lisa计算机的完整硬件逻辑实现于FPGA中。作者提供了从源代码构建设计、编程定制PCB以及使用软盘驱动器等外设的全面文档。

谷歌的深度伪造检测技术被用来识别并揭穿一张关于米奇·麦康奈尔参议员在虚假医院场景中的病毒式传播AI生成图片。这一事件凸显了自动化工具在打击政治虚假信息及验证数字媒体真实性方面日益增长的作用。

自主无人机配送初创公司Manna正在美国扩张，将在俄克拉荷马州塔尔萨建立新的运营和制造中心。该设施预计将创造1000个就业岗位，标志着该公司在美国市场增长战略的重要一步。

X平台计划向用户发送私信，通知其点赞、回复或转发的帖子已被“社区笔记”修正。此举旨在解决众包事实核查系统往往滞后于虚假信息传播的问题，通过提前预警来遏制误导信息的扩散。

Google Photos 推出了一款全新的 AI “视频混剪”工具，用户可利用该功能为视频片段添加电影级重照明、更换背景或应用艺术风格。此次更新旨在通过生成式 AI 简化视频编辑流程，直接在应用内提升视频的视觉效果和创意表现。

旨在对抗现代网络文化快节奏的“慢社交”应用Roost意外获得了30万用户。该应用通过强制延迟通信，模拟信鸽的速度，为寻求数字排毒的用户提供了另一种选择。

澳大利亚政府“宽带测量澳大利亚”项目已结束，导致数千台功能正常的SamKnows测试路由器在2026年6月30日后被远程变砖。志愿者收到通知称账户将关闭且设备停用，尽管硬件本身仍可正常工作。这一决定凸显了公共监控项目中物联网设备生命周期管理的潜在低效问题。

微软大幅重组Xbox业务，裁员3200人并关闭四家工作室，称该业务健康状况不佳且资源分散。此举伴随着向AI和大作战略的转型，引发了关于主机未来前景及若被剥离潜在买家的讨论。

《The Verge》评测了Mondo Robotics推出的Beni，这是一款能奔跑、跳跃、表演特技并自主拍摄的双足机器狗。尽管仍需改进，但体验者对其出色的敏捷性和趣味性印象深刻。Beni展示了消费级机器人在娱乐与自主拍摄功能上的显著进步。

据报道，谷歌即将推出的Pixel Watch 5和Pixel 11系列可能会涨价。其中41毫米版手表起售价可能上涨50美元，45毫米版上涨30美元。尽管手机系列的详细定价尚不完全明确，但整体硬件产品线呈现出成本调整的趋势。

专注于隐私和性能的自托管群聊应用 Chatto 已开源。该工具允许用户轻松部署拥有端到端加密（涵盖消息、语音和视频通话）的独立社区，同时避免第三方追踪。

微软发布了开源可视化工具Flint，这是一种专为AI代理工作流设计的可视化语言。该工具旨在弥合复杂AI推理与人类可读视觉输出之间的差距，允许开发者在代理应用中直接集成动态数据可视化功能。

Jim的TrueType二维码字体是一种创新的OpenType字体，可在文本整形过程中直接将方括号内的文本渲染为二维码，无需单独生成图像。它允许将二维码视为纯文本，便于复制、粘贴及与普通拉丁字符混合使用，但需注意浏览器换行问题并配合特定CSS处理。该工具提供三种变体，分别支持17至53个字符的限制。

NoiseLang 是一种将每个值视为概率分布的编程语言，允许对随机变量进行无缝数学运算。作者在九年后利用 AI 工具重新启动了该项目，以自动化样板代码生成和模拟执行。

德国初创公司QuantumDiamonds获得欧盟《芯片法案》支持，旨在通过新型检测技术加速半导体制造。此举符合欧盟通过国家补贴振兴区域半导体产业的总体战略。

Meta正在引入新措施以防止其AI眼镜被用于秘密录制他人，以回应隐私担忧。然而，这一举措与其扩大AI产品数据收集的更广泛战略形成对比。

Ashley Smith的Vermilion Cliffs Ventures已关闭其第二支2500万美元基金，继续专注于支持AI基础设施、安全和开发者工具领域的技术型创始人。在之前1300万美元的首期基金基础上，Smith利用其运营背景帮助早期初创公司优化市场进入策略。

两名加州青少年在乘坐Waymo自动驾驶出租车时饮酒并向窗外射击凝胶弹，被车辆系统检测到后触发警报，最终被警方逮捕。此事件凸显了Waymo对乘客行为的严格监管，即使当地法律允许，车内也严禁饮酒和危险行为。

Kenton Vorda 在其团队中禁止使用 AI 生成的提交信息和 PR 描述，因为这类内容往往缺乏必要的宏观背景，却冗余地描述了代码中显而易见的细节。这一决定反映了开发者对当前大型语言模型在软件工程工作流中实用性的日益不满，尤其是在需要综合归纳而非简单转录的任务上。